Mechanical Verification of Adder Circuits using Rewrite Rule Laboratory

• 1 January 1998
• journal article
• Published by Springer Nature in Formal Methods in System Design
• Vol. 13  (2) , 127-158
• https://doi.org/10.1023/a:1008610818519

Abstract

Keywords

• CARRY LOOKAHEAD ADDER
• RIPPLE CARRY ADDER
• GENERIC ADDERS
• PARALLEL PREFIX
• FORMAL VERIFICATION
• AUTOMATIC VERIFICATION
• PROOF BY INDUCTION
• DIVIDE AND CONQUER
• POWERLISTS