Efficient Boolean matching algorithm for cell libraries
Qifeng Wu, C.Y.R. Chen, John M. Acken · 2002
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.>