Sciweavers

FMCAD
2008
Springer

Optimal Constraint-Preserving Netlist Simplification

13 years 5 months ago
Optimal Constraint-Preserving Netlist Simplification
Abstract-- We consider the problem of optimal netlist simplification in the presence of constraints. Because constraints restrict the reachable states of a netlist, they may enhance logic minimization techniques such as redundant gate elimination which generally benefit from unreachability invariants. However, optimizing the logic appearing in a constraint definition may weaken its state-restriction capability, hence prior solutions have resorted to suboptimally neglecting certain valid optimization opportunities. We develop the theoretical foundation, and corresponding efficient implementation, to enable the optimal simplification of netlists with constraints. Experiments confirm that our techniques enable a significantly greater degree of redundant gate elimination than prior approaches (often greater than 2
Jason Baumgartner, Hari Mony, Adnan Aziz
Added 26 Oct 2010
Updated 26 Oct 2010
Type Conference
Year 2008
Where FMCAD
Authors Jason Baumgartner, Hari Mony, Adnan Aziz
Comments (0)