1. Mechanical Verification of Adder Circuits using Rewrite Rule Laboratory

   • Deepak Kapur
   • M. Subramaniam

   OriginalPaper Pages: 127 - 158

2. A Practical Methodology for the Formal Verification of RISC Processors

   • Sofiéne Tahar
   • Ramayya Kumar

   OriginalPaper Pages: 159 - 225