Automatic synthesis of fast, compact self-timed control

Update item information
Publication Type Journal Article
School or College College of Engineering
Department Electrical & Computer Engineering
Creator Stevens, Kenneth
Title Automatic synthesis of fast, compact self-timed control
Date 1992
Description An automated synthesis tool, called the Most Excellent Asynchronous Tool, or MEAT is presented. This tool has been used to specify and synthesize self-timed circuits for a fully self-timed 300,000 transistor communication co-processor. The Specification is done with stylized state diagrams. 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 provably correct self-timed CMOS implementations with outstanding performance and compactness.
Type Text
Publisher University of Calgary Press
First Page 1
Last Page 16
Language eng
Bibliographic Citation Stevens, K. S. (1992). Automatic synthesis of fast, compact self-timed control. University of Calgary Research Report, 1-16. December.
Rights Management (c) University of Calgary Press
Format Medium application/pdf
Format Extent 243,461 bytes
Identifier ir-main,15317
ARK ark:/87278/s6xk8zt4
Setname ir_uspace
Date Created 2012-06-13
Date Modified 2021-05-06
ID 703886
Reference URL https://collections.lib.utah.edu/ark:/87278/s6xk8zt4
Back to Search Results