1

ECM6308 - 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

Composition of Processes

5

Composition of Processes

6

Examples: Composition of Processes

7

Informative and Stall Events

8

Latency Equivalent

9

Stalled Process

10

Patient Processes

11

Lecture schedule

See Webpage:

www.eecs.ucf.edu/~mingjie/ECM6308

12

Final issues

• Please fill out the student info sheet before leaving

• Come by my office hours (right after class)

• Any questions or concerns?