Constraint Based Technology Mapping in Logic Design

Technology mapping in an LSI CAD system transforms Boolean expressions into device dependent circuit components. The better mapping results in reducing the circuit size and optimizing the circuit delay. Although this process involves a kind of constraint satisfaction problem, it is so large that it cannot solve the entire problem with a constraint problem solving approach alone.