基于不相交乘积项的逻辑探测和拆分算法
王伦耀, 夏银水, 陈偕雄, 叶锡恩
Logic Detection and Decomposition Algorithm Based on Disjointed Cubes
WANG Lun-yao, XIA Yin-shui, CHEN Xie-xiong, YE Xi-en
电子学报 . 2012, (10): 2091 -2096 .  DOI: 10.3969/j.issn.0372-2112.2012.10.031