Title :
An Asynchronous Circuit Design Language (ACDL)
Author :
Bednar, Gregory M. ; Tracey, James H.
Author_Institution :
Systems Development Division, IBM
Abstract :
This correspondence describes a special purpose Asynchronous Circuit Design Language (ACDL) for specifying the terminal behavior of asynchronous sequential circuits. The language is a valuable tool for formalizing and documenting asynchronous designs, as well as providing a user interface to a completely automated synthesis system. The language includes many special features which permit quick and precise specification of terminal behavior and is best suited for problems that are currently being described informally by word statements.
Keywords :
Asynchronous sequential circuits, design automation, design languages, sequential circuit synthesis, sequential circuit specifications, switching theory.; Asynchronous circuits; Biological information theory; Circuit synthesis; Circuit testing; Decision trees; Design automation; Dictionaries; Performance evaluation; Polynomials; Sequential circuits; Asynchronous sequential circuits, design automation, design languages, sequential circuit synthesis, sequential circuit specifications, switching theory.;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/T-C.1974.224064
