BDDMAP: a technology mapper based on a new covering algorithm

The authors present a technology mapper, BDDMAP, which combines the strengths of rule-based heuristics and algorithmic techniques. Rule-based heuristics or functional matching is invoked to match the type of technology gates for which it is most efficient. The algorithmic part of BDDMAP lies in the covering process. The novel aspects of the covering algorithm are using an anticipative cost function, global cost propagation and handling of multiple output gates. The mapping problem is discussed in the context of matching of patterns and covering of the target network. The matching process is discussed followed by benchmark results