Issue No. 09 - September (1974 vol. 23)
G.M. Bednar , Systems Development Division, IBM
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.
Asynchronous sequential circuits, design automation, design languages, sequential circuit synthesis, sequential circuit specifications, switching theory.
J.H. Tracey, G.M. Bednar, "An Asynchronous Circuit Design Language (ACDL)", IEEE Transactions on Computers, vol. 23, no. , pp. 971-976, September 1974, doi:10.1109/T-C.1974.224064