Automata - a theory dedicated towards formal circuit synthesis
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.
| 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.) |