| |
Lectures
| 9/2 |
Introduction |
|
| 9/4 |
Transistors and switching networks |
|
| 9/9 |
Transistors and switching networks, magic example |
|
| 9/14 |
More production rules |
|
| 9/16 |
Specifying algorithms: Communicating Hardware Processes |
|
| 9/21 |
Communication, synchronization, and CHP programs |
|
| 9/23 |
CHP programs and the dataflow model |
|
| 9/28 |
Dataflow design |
|
| 9/30 |
Dataflow to circuits |
|
| 10/5 |
CHP rewriting |
|
| 10/7 |
Handshaking expansions |
|
| 10/12 |
Production rule synthesis |
|
| 10/14 |
Bubble reshuffling and reset |
|
| 10/19 |
-- Midterm -- |
|
| 10/21 |
October recess |
|
| 10/26 |
Sizing |
|
| 10/28 |
Sizing |
|
| 11/2 |
Chip end-game |
|
| 11/4 |
QDI Datapath |
|
| 11/9 |
QDI Datapath |
|
| 11/11 |
Non-determinism |
|
| 11/16 |
Non-determinism |
|
| 11/18 |
Commercial tools |
|
| 11/23 |
Commercial tools |
|
| 11/30 |
Commercial tools |
|
| 12/2 |
Synchronous interfaces |
|
| 12/7 |
Synchronous interfaces |
|
| 12/9 |
Wrap up |
|
|
