KIT | KIT-Bibliothek | Impressum | Datenschutz

Automata - a theory dedicated towards formal circuit synthesis

Eisenbiegler, Dirk

Abstract:

This is a technical report about a theory named Automata. Automata is an
arithmetic for synchronous circuits. It provides means for representing
and transforming circuit descriptions at the RT level and gate level in a
mathemtical manner. Automata has been implemented in the HOL theorem
proving environment. Preproven theorems are designed for performing
standard synthesis steps such as state encoding, retiming and state
minimization in a mathematical manner via logical derivation.


Volltext §
DOI: 10.5445/IR/19697
Cover der Publikation
Zugehörige Institution(en) am KIT Fakultät für Informatik – Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Publikationstyp Buch
Publikationsjahr 1997
Sprache Englisch
Identifikator urn:nbn:de:swb:90-AAA196978
KITopen-ID: 19697
Erscheinungsvermerk Karlsruhe 1997. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1997,14.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page