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
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;
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
DOI :
10.1109/ICCD.1994.331849
