Symbolic Modeling and Evaluation of Data Paths

We present an automata model which concisely captures the constraints imposed by a data-path, such as bus hazards, register constraints, and control encoding limitations. A set of uniform base components for depicting general data-paths and techniques for systematic translation of such depictions in...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Chuck Monahan, Forrest Brewer
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Automata Clocks Communication system control Encoding Logic Multiplexing Permission Power system modeling Registers Wires
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!