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

• Unique for Irredundancy Covering in Automatic Logic-Synthesis