Name
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 2x), which has been key to the automated solution of various difficult verification problems. |
Year | DOI | Venue |
|---|---|---|
2008 | 10.1109/FMCAD.2008.ECP.7 | Portland, OR |
Keywords | Field | DocType |
logic minimization technique,optimal netlist simplification,prior solution,optimal simplification,certain valid optimization opportunity,greater degree,constraint definition,redundant gate elimination,optimal constraint-preserving netlist simplification,prior approach,automated solution,cost accounting,merging,redundancy,formal verification,computational modeling,registers,minimisation,logic gates | Netlist,Mathematical optimization,Logic gate,Computer science,Algorithm,Theoretical computer science,Redundancy (engineering),Minification,Minimisation (psychology),Invariant (mathematics),Cost accounting,Formal verification | Conference |
ISBN | Citations | PageRank |
978-1-4244-2736-9 | 7 | 0.50 |
References | Authors | |
24 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jason Baumgartner | 1 | 313 | 23.36 |
| Hari Mony | 2 | 186 | 13.30 |
| Adnan Aziz | 3 | 1778 | 149.76 |