Theorem Proving Support for Hardware Verification ,
Invited Talk Third Intl. Workshop on First-Order Theorem Proving, FTP 2000
St. Andrews, Scotland, July 2000.
Deepak Kapur
Key reasoning mechanisms found useful and effective in using
Rewrite Rule Laboratory (RRL) for automatically verifying
properties of arithmetic circuits are reviewed.
To view the entire paper click here