BDDMAP: a technology mapper based on a new covering algorithm

We present a technology mapper which combines the strengths of rule-based heuristics and algorithmic techniques. Matching is mainly performed by rule-based heuristics which is complemented by functional matching based on OBDD's. The novel aspects of the covering algorithm includes using an anticipative cost function, global cost propagation and handling of multiple output technology gates. We obtain favorable results when BDDMAP is bench-marked against the mapper of MisII, release 3.5, using a complete set of recommended MCNC examples. Topic number 4.1