Using an induction prover for verifying arithmetic circuits

• 1 September 2000
• journal article
• research article
• Published by Springer Nature in International Journal on Software Tools for Technology Transfer
• Vol. 3  (1) , 32-65
• https://doi.org/10.1007/pl00010808

Abstract

Keywords

• KEY WORDS: AUTOMATED REASONING – HARDWARE VERIFICATION – INDUCTION – REWRITING – ARITHMETIC CIRCUITS – DECISION PROCEDURES