Symbolic execution of data paths

We present a data-path model which concisely captures the path constraints imposed by a data-path, such as bus hazards, register constraints, and control encoding limitations. A process for expressing arbitrary datapaths in terms of this model's base components and techniques for systematic tra...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Monahan, C., Brewer, F.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Boolean functions Digital signal processing Hazards Logic Microprocessors Network synthesis Power system modeling Processor scheduling Registers Wires
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!