Unique for Irredundancy Covering in Automatic Logic-Synthesis

• 自动逻辑综合中无冗余覆盖唯一性