A Refinement Method for Validity Checking of Quantified First-Order Formulas in Hardware Verification.

Husam Abu-Haimed, David L. Dill, Sergey Berezin

Browse the full FMCAD paper archive.