Topic List

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