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

2. 2 Event, Signal, Behavior, Process, System

3. 3 Composition of Processes

4. 4

5. 5

6. 6 Examples: Composition of Processes

7. 7 Informative and Stall Events

8. 8 Latency Equivalent

9. 9 Stalled Process

10. 10 Patient Processes

11. 11 Lecture schedule See Webpage: www.eecs.ucf.edu/~mingjie/ECM6308

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