KIT | KIT-Bibliothek | Impressum | Datenschutz

AC/3 V1.00. A tool for automatic error correction of combinatorial circuits

Hoffmann, Dirk W.; Kropf, Thomas


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].

Cover der Publikation
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
KITopen-ID: 9599
Verlag Universität Karlsruhe (TH)
Serie Interner Bericht. Fakultät für Informatik, Universität Karlsruhe ; 1999,5
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page