Reveal: A Formal Verification Tool for Verilog Designs.

Zaher S. Andraus, Mark H. Liffiton, Karem A. Sakallah

Browse the full LPAR paper archive.