ECE Course Outline

ECE7131

Asynchronous and Self Timed Systems (3-0-3)

Prerequisites
ECE 6130
Corequisites
None
Catalog Description
Specification and design of asynchronous digital systems.
Textbook(s)
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