使用逻辑锥分割的组合电路等价性验证-EngineeringJournal-计算机.PDF

Computer Engineering and Applications 计算机工程与应用 2013 ，49 （2 ） 61 使用逻辑锥分割的组合电路等价性验证 1 2 岳 园 ，何安平 1 2 YUE Yuan , HE Anping 1.西北民族大学 数学与计算机科学学院，兰州 730030 2.兰州大学 信息科学与工程学院，兰州 730000 1.School of Mathematics and Computer Science, Northwest University for Nationalities, Lanzhou 730030, China 2.School of Information Science and Engineering, Lanzhou University, Lanzhou 730000, China YUE Yuan, HE Anping. Equivalence checking for combinational circuits using logic cone partition. Computer Engineer- ing and Applic