Class Schedule for Lectures,
Reading Assignments, and Labs
Dates and topics subject to change.
| Week, Date | Lecture | Reading | Assignments |
| 1-1 Jan 12 |
Async Pipelines, Lab 1 Overview by Mac Wibbels |
Lab 1 assigned | |
| 1-1 Jan 12 |
History of Asynchronous Design Asynchronous Design Basics |
An Introduction to Asynchronous Circuit
Design by Davis and Nowick, Sections 1,2,3,6.1, and 6.6 Micropipelines by Ivan Sutherland |
|
| 1-2 Jan 9 |
Handshake Protocols | Asynchronous Circuit Design A Tutorial
by Jens Sparso, chapters 1 and 2 Mead and Conway, Seitz chapter 7 (Handout) |
|
| 2-1 Jan 14 |
Timing Models | ||
| 2-2 Jan 16 |
Flow Table Specification | Unger Chapter 1 (Handout) | Lab 2 assigned |
| 3-1 Jan 21 |
Races and Hazards | Lab 1 Due | |
| 3-2 Jan 23 |
Reduction and Pair Equivalences | Unger Chapter 2 (Handout) | |
| 4-1 Jan 28 |
Delays and Hazards | Unger Chapter 4 (Handout) | HW 1 Assigned |
| 4-2 Jan 30 |
Delays and Hazards | ||
| 5-1 Feb 4 |
Control Circuit Synthesis | Jens Sparso, chapters 6 and 7 Myer's Asynchronous Design chapter 4 -- optional |
|
| 5-2 Feb 6 |
Lab 1 Design Discussion | HW 1 Due | |
| 6-1 Feb 11 |
Asynchronous Finite State Machine Synthesis | Lab 2 Assigned | |
| 6-2 Feb 13 |
Relative Timing | ||
| 7-1 Feb 18 |
Controller Concurrency | Designing Parallel Specifications in CCS
by Stevens, Aldwinckle, Birtwistle, Liu A Design Space and its Patterns: Modelling 2phase Asynchronous Pipelines by Birtwistle and Stevens. |
|
| 7-2 Feb 20 |
Concurrency and Formal Languages | ||
| 8-1 Feb 25 |
CCS Semantics | ||
| 8-2 Feb 27 |
CCS Semantics | Lab 2 Due | |
| 9-1 Mar 4 |
Designing Concurrent Protocols | Lab 3 Assigned | |
| 9-2 Mar 6 |
Designing Concurrent Protocols | ||
| 10-1 Mar 18 |
Relative Timing Design | ||
| 10-2 Mar 20 |
Relative Timing Design | ||
| 11-1 Mar 25 |
Equivalence and Conformance | ||
| 11-2 Mar 27 |
Lab Day -- verification lab | Meet in CADE for this session | Lab 3 Due |
| 12-1 Apr 1 |
Relative Timed Characterization | Lab 4 Assigned | |
| 12-2 Apr 3 |
Relative Timed Characterization | ||
| 13-1 Apr 8 |
Relative Timed Architectures | ||
| 13-2 Apr 10 |
LAB DAY - meet in CADE | Lab 5 Assigned | |
| 14-1 Apr 15 |
System Architecture Examples | ||
| 14-2 Apr 17 |
Course and Exam Review | ||
| 15-1 Apr 22 |
EXAM | EXAM IN CLASS |