Mapping Properties of Multi-Level Logic Synthesis Operations

It was found that synthesis operations like kernel extraction- intersection and phase assignment have excellent mapping properties in the synthesis of multi-level Boolean networks. This was made possible by DIRMAP, a simple translator of the optimized and properly decomposed set of Boolean functions. The area obtained with this approach is better than that obtained with mappers based on tree matching techniques [3][6], over a wide range of benchmarks and industrial examples.