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 |
ID |
703886 |
Reference URL |
https://collections.lib.utah.edu/ark:/87278/s6xk8zt4 |