DocumentCode
2160102
Title
Efficient Boolean matching algorithm for cell libraries
Author
Wu, Qinghong ; Chen, C. Y Roger ; Acken, John M.
Author_Institution
Intel Corp., Santa Clara, CA, USA
fYear
1994
fDate
10-12 Oct 1994
Firstpage
36
Lastpage
39
Abstract
An efficient algorithm for searching for functional cells based on Boolean matching in a large library is presented. Redundant variables and permutation of inputs are considered in this algorithm. The algorithm does a search in constant time, independent of the size of the library
Keywords
Boolean algebra; VLSI; circuit CAD; logic CAD; redundancy; search problems; Boolean matching algorithm; cell libraries; constant time search; functional cell searching; input permutation; redundant variables; Binary decision diagrams; Boolean functions; Chip scale packaging; Data structures; Database systems; Genetic mutations; Input variables; Libraries; Productivity; Very large scale integration;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Design: VLSI in Computers and Processors, 1994. ICCD '94. Proceedings., IEEE International Conference on
Conference_Location
Cambridge, MA
Print_ISBN
0-8186-6565-3
Type
conf
DOI
10.1109/ICCD.1994.331849
Filename
331849
Link To Document