1 ECM Selected Topic: Asynchronous Logic and FPGA Devices Lecture 3: Formal Theory of Logic Design Prof. Mingjie Lin

2 Event, Signal, Behavior, Process, System

3 Composition of Processes

4

5

6 Examples: Composition of Processes

7 Informative and Stall Events

8 Latency Equivalent

9 Stalled Process

10 Patient Processes

11 Lecture schedule See Webpage:

12 Final issues Please fill out the student info sheet before leaving Come by my office hours (right after class) Any questions or concerns?