A Design Language for Modular Asynchronous Control Structures

A design language for asynchronous digital systems is presented. The language translates onto a set of asynchronous logic modules, to form the control structure of a digital system. The behavior of these modules is discussed. The process of translating the design language into networks of these modu...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Mudge,Trevor, Metze,Gernot
Format: Report
Sprache:eng
Schlagworte:
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:A design language for asynchronous digital systems is presented. The language translates onto a set of asynchronous logic modules, to form the control structure of a digital system. The behavior of these modules is discussed. The process of translating the design language into networks of these modules is outlined. An example design is presented. The design language is shown to be able to describe machines having all the capabilities normally required of a microcontroller, as well as the capability to describe the control of parallel processes without necessarily binding processes to one another. Parallel processes imply the possibility of designing a system having the potential for deadlock. It is shown, in a quantitative way, that it is easier to check a design described by the design language for correct syntax and absence of deadlock, than to check an arbitrary network of modules for absence of deadlock. It is inferred from this, that fault-free design is easier using the design language. (Author)