Simplifying Circuits for Formal Verification Using Parametric Representation.

In-Ho Moon, Hee-Hwan Kwak, James H. Kukula, Thomas R. Shiple, Carl Pixley

Browse the full FMCAD paper archive.