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

Volume

16

Issue

2

fYear

1997

fDate

2/1/1997 12:00:00 AM

Firstpage

160

Lastpage

168

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;

fLanguage

English

Journal_Title

Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on

Publisher

ieee

ISSN

0278-0070

Type

jour

DOI

10.1109/43.573830

Filename

573830