Abstract
An automated synthesis tool, called the "Most
Excellent Asynchronous Tool", or MEAT is presented. This tool has
been used to specify and synthesize asynchronous finite state machines
(AFSMs) for a fully self-timed 300,000 transistor communication
co-processor called the Post Office. The specification is done with
stylized state diagrams with a restricted form of multiple input
change constraints called burst-mode. This is a very compact and
intuitive means to specify communication, concurrency, and
synchronization necessary for control structures. Of primary
importance to this project was the efficiency and simplicity of the
implementation. The tool generates from the state description
self-timed CMOS implementations with outstanding performance and
compactness. When burst-mode is coupled with a timing inequality, the
circuits can be verified as hazard free.
Notes
We are currently acquiring citations for the work deposited into this collection. We recognize the distribution rights of this item may have been assigned to another entity, other than the author(s) of the work.If you can provide the citation for this work or you think you own the distribution rights to this work please contact the Institutional Repository Administrator at digitize@ucalgary.ca
