[1] Roth P. Computer Logic Testing and Verification. Computer Science Press，Inc.，1980. [2] Kuo Y S, Chou W K. Generating Essential Prims for Boolean Function with Multiple Valued Inputs. 23rd Design Automation Conference, 1986. [3] Weste N, Eshraghian K. Principles of CMOS VLSI Design. 1984. [4] 薛宏熙, 张燕安, 邓辉. 一个判别质蕴涵项的E算法. 计算机辅助设计与图形学学报，1990, 4. [5] 刘明业. 计算机辅助设计理论. 科学出版社，1984. [6] 郑崇勋. 数字系统诊断与综合. 西安交通大学出版社，1987. [7] 沈嗣昌. 计算机辅助逻辑综合. 高等教育出版社，1982. [8] 薛宏熙, 何全来, 陈修环. 布尔函数的计算机化简. 中小型计算机. 1981, 6. [9] 何全来, 薛宏熙： 多输出两级'与或'网络无冗余覆盖的优选算法. 小型微型计算机系统，1985, 9. [10] 刘明业主编，郭玉钗 叶梅龙编著. 数字系统自动设计. 高等教育出版社. 1996. [11] Bryant R. E.,"Graph-based algorithms for Boolean function manipulation", IEEE Transaction on Computers, Vol. C-35, No.8(August,1986), pp .667-691. [12] Xu Lingjun, Bian Jinian and Xue Hongxi, "Delay-driven Algorithm for Logic Re-synthesis after Placement", The 4nd International Conference on Computer-Aided Industrial Design and Conceptual Design, October 2001. [13] Stephen Brown and Zvonko Vranesic. Fundamentals of Digital Logic with VHDL Dsign. McGraw-Hill Higher Education. 2000 [14] Giovanni De Mecheli. Synthesis and Optimization of Digital Circuits. McGraw-Hill, Inc.. [15] 王尔乾, 巴林凤. 数字逻辑及数字集成电路. 清华大学出版社. 1999. [16] 杨之廉, 申明. 超大规模集成电路设计方法学导论. 清华大学出版社. 1999.