Improved technology mapping using a new approach to Boolean matching
Bhanu Kapoor · 1995
We present an improved method for technology mapping using a new approach to the Boolean matching problem. Signatures computed over OBDDs using a set of speci c probability values detemine mateches between library cells and portions of the netlist. Unlike some previous methods, which may require creation of up to O(n!) OBDDs for all possible permutations of module's inputs, our method requires exactly one OBDD to be created for the portion of the netlist being matched. Some results obtained on IS-CAS85 benchmark circuits suggest the viability and validity of our approach. I.