ECE Course Outline
Asynchronous and Self Timed Systems (3-0-3)
- ECE 6130
- Catalog Description
- Specification and design of asynchronous digital systems.
- No Textbook Specified.
- Topical Outline
Introduction Synchronous Models Asynchronous Models Equipotential Region Clock Skew, Certainty Region Self-timed signalling The weak constraints Completion signals ternary coding two-phase vs. four-phase signalling Classical Asynchronous Systems Fundamental Mode Circuits, Flow Table Description Synthesis Procedures, Race Free State Assignment, Essential Hazards Micropipelines stage construction primitive operators Physical Constraints Arbitration/metastability - the steering circuit The isochronic fork Formal specification Graph/Petri net specification Synthesis procedures/production rule systems Verification: trace theory/temporal logic Design Examples The Asynchronous Microprocessor Router/Distributed mutual exclusion Performance evaluation
© 2019 Georgia Institute of Technology