Using an induction prover for verifying arithmetic circuits

DOI10.1007/PL00010808zbMath1059.68527OpenAlexW2091905929MaRDI QIDQ1856145

Deepak Kapur, Mahadevan Subramaniam

Publication date: 2000

Published in: International Journal on Software Tools for Technology Transfer. STTT (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/pl00010808

zbMATH Keywords

automated reasoningrewritingarithmetic circuitshardware verificationdecision procedures

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15)

Uses Software

• RRL

This page was built for publication: Using an induction prover for verifying arithmetic circuits