Invariant-Strengthened Elimination of Dependent State Elements.

Michael L. Case, Alan Mishchenko, Robert K. Brayton, Jason Baumgartner, Hari Mony

Browse the full FMCAD paper archive.