AC/3 V1.00. A tool for automatic error correction of combinatorial circuits
Abstract:
AC/3 is a tool for performing automatic error correction
in combinatorial circuits. Two circuits must be provided to the
system where one serves as the specification circuit and the
other one as the current implementation. AC/3 tries to prove
equivalence between both designs and performs automatic error
correction if equivalence does not hold. The tool is based on
the rectification theory developed in [TechReport1999-6].
in combinatorial circuits. Two circuits must be provided to the
system where one serves as the specification circuit and the
other one as the current implementation. AC/3 tries to prove
equivalence between both designs and performs automatic error
correction if equivalence does not hold. The tool is based on
the rectification theory developed in [TechReport1999-6].
| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Rechnerentwurf und Fehlertoleranz (IRF) |
| Publikationstyp | Forschungsbericht/Preprint |
| Publikationsjahr | 1999 |
| Sprache | Englisch |
| Identifikator | ISSN: 1432-7864 urn:nbn:de:swb:90-AAA95994 KITopen-ID: 9599 |
| Verlag | Universität Karlsruhe (TH) |
| Serie | Interner Bericht. Fakultät für Informatik, Universität Karlsruhe ; 1999,5 |