A Design Language for Modular Asynchronous Control Structures.
Abstract
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)
Document Details
- Document Type
- Technical Report
- Publication Date
- Feb 01, 1977
- Accession Number
- ADA040684
Entities
People
- Gernot Metze
- Trevor Mudge
Organizations
- University of Illinois Urbana–Champaign