Title :
Boolean matching for incompletely specified functions
Author :
Wang, Kuo-Hua ; Hwang, TingTing
Author_Institution :
Dept. of Comput. Sci. & Inf. Eng., Fu Jen Catholic Univ., Taipei Hsien, Taiwan
fDate :
2/1/1997 12:00:00 AM
Abstract :
Boolean matching is to check the equivalence of two functions under input permutation and input/output phase assignment. In this paper, we address Boolean matching problems for incompletely specified functions. We formulate the searching of input variable mapping between two target functions as a logic equation by using multiple-valued functions. Based on this equation, a Boolean matching algorithm is proposed. Delay and power dissipation can also be taken into consideration when this method is used for technology mapping. Experimental results on a set of benchmarks show that our algorithm is indeed very effective in solving the Boolean matching problem for incompletely specified functions
Keywords :
Boolean functions; delays; logic CAD; logic design; Boolean matching; delay; incompletely specified functions; input variable mapping; input/output phase assignment; multiple-valued functions; power dissipation; technology mapping; Boolean functions; Computer science; Delay; Equations; Flexible printed circuits; Input variables; Libraries; Logic circuits; Power dissipation; Smoothing methods;
Journal_Title :
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
