AUTOMATIC SYNTHESIS OF FAST, COMPACT SELF-TIMED STATE MACHINES
dc.contributor.author | Stevens, Kenneth S. | eng |
dc.date.accessioned | 2008-05-20T23:30:38Z | |
dc.date.available | 2008-05-20T23:30:38Z | |
dc.date.computerscience | 1999-05-27 | eng |
dc.date.issued | 1992-12-01 | eng |
dc.description.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. | eng |
dc.description.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 | eng |
dc.identifier.department | 1992-495-33 | eng |
dc.identifier.doi | http://dx.doi.org/10.11575/PRISM/31286 | |
dc.identifier.uri | http://hdl.handle.net/1880/46548 | |
dc.language.iso | Eng | eng |
dc.publisher.corporate | University of Calgary | eng |
dc.publisher.faculty | Science | eng |
dc.subject | Computer Science | eng |
dc.title | AUTOMATIC SYNTHESIS OF FAST, COMPACT SELF-TIMED STATE MACHINES | eng |
dc.type | unknown | |
thesis.degree.discipline | Computer Science | eng |