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

Open Access Logo

Cover der Publikation
Zugehörige Institution(en) am KIT 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, Karlsruhe
Serie Interner Bericht. Fakultät für Informatik, Universität Karlsruhe ; 1999,5
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page