A detection method for logic functions suitable for dual-logic synthesis

作者：Xia Yinshui^*; Sun Fei; Mao Keyi

来源：Progress in Natural Science, 2009, 19(10): 1311-1315.

DOI：10.1016/j.pnsc.2008.11.014

• Logic synthesis
• Boolean logic
• Reed-Muller logic
• Detection method

Logic functions can be implemented in either AND/OR/NOT-based traditional Boolean (TB) logic or AND/XOR-based Reed-Muller (RM) logic. To the majority of logic functions, it will be beneficial to be partially implemented in both TB logic and RM logic, called dual-logic. In this paper, a detection condition favoring dual-logic synthesis is proposed. A corresponding detection algorithm is developed and implemented in C. The algorithm is applied to test a set of MCNC91 benchmarks for verifying the algorithm. The results show that the proposed algorithm is more efficient than published ones.

• 出版日期2009-10-10
• 单位宁波大学