Introduction  [ppt slides]

Petri Nets [ppt slides] [pdf paper]

Logic Synthesis from Petri net specifications ("Petrify") [ps slides]

Hazard-Free 2-Level Logic Minimization (basics) [ppt slides]

Implicit Hazard-Free 2-Level Logic Minimization ("Impymin") [ppt slides] [pdf paper]

Asynchronous State Machine Synthesis

CAD Packages

Mini-project:  Control synthesis

Review:  Logic Implementation Styles [ppt slides]

Asynchronous Pipeline Approaches:  Static Logic

Asynchronous Pipeline Approaches:  Dynamic Logic

Asynchronous Pipeline Approaches:  Dynamic Logic (contd.)

Asynchronous Pipeline Approaches:  Dynamic Logic (contd.)

Case Studies:

Performance Analysis:  FIFO's and Self-Timed Rings