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

作     者：Yinshui Xia,Fei Sun,Keyi Mao The Faculty of Information Science & Engineering,Ningbo University,Ningbo 315211,China 

作者机构：The Faculty of Information Science & Engineering Ningbo University Ningbo 315211 China 

出 版 物：《Progress in Natural Science:Materials International》 (自然科学进展·国际材料(英文))

年 卷 期：2009年第19卷第10期

页      面：1311-1315页

核心收录：

学科分类：01[哲学] 0101[哲学-哲学] 010104[哲学-逻辑学] 07[理学] 070104[理学-应用数学] 0701[理学-数学] 

基　　金：supported by the National Natural Science Foundation of China (Grant No60676017) Zhejiang Natural Science Foundation (Grant No R105614) the Science & Technology Program from the Department of Zhejiang Sci & Tech (Grant No2007C24017) 

主　　题：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) *** the majority of logic functions,it will be beneficial to be partially implemented in both TB logic and RM logic,called *** this paper,a detection condition favoring dual-logic synthesis is proposed.A corresponding detection algorithm is developed and implemented in *** algorithm is applied to test a set of MCNC91 benchmarks for verifying the *** results show that the proposed algorithm is more efficient than published ones.