| Month |
Date |
Day |
Time |
Venue |
Note |
| August |
24 |
Tu |
9:30 - 11:00 |
531 Cory |
Course Introduction |
| 26 |
Th |
9:30 - 11:00 |
531 Cory |
System Design |
| 31 |
Tu |
9:30 - 11:00 |
531 Cory |
System Design |
| September |
2 |
Th |
9:30 - 11:00 |
531 Cory |
System Design |
| 7 |
Tu |
9:30 - 11:00 |
531 Cory |
System Modeling: FSM |
| 7 |
Tu |
5:00 - 6:00 |
531 Cory |
System Modeling: FSM/Esterel |
| 9 |
Th |
9:30 - 11:00 |
531 Cory |
System Modeling: Esterel Examples |
| 14 |
Tu |
9:30 - 11:00 |
531 Cory |
System Modeling: Data-flow I |
| 16 |
Th |
9:30 - 11:00 |
531 Cory |
System Modeling: Data-flow II |
| 21 |
Tu |
9:30 - 11:00 |
531 Cory |
System Modeling: Event driven
The Tagged Signal Model |
| 23 |
Th |
9:30 - 11:00 |
531 Cory |
The Tagged Signal Model |
| 28 |
Tu |
9:30 - 11:00 |
531 Cory |
System Modeling: CFSM |
| 30 |
Th |
9:30 - 11:00 |
531 Cory |
System Modeling: ECL / Kahn Process Networks |
| October |
5 |
Tu |
9:30 - 11:00 |
531 Cory |
System Modeling: Petri Nets |
| 7 |
Th |
9:30 - 11:00 |
531 Cory |
Tools of the Trade: Polis |
| 12 |
Tu |
9:30 - 11:00 |
531 Cory |
Tools of the Trade: Ptolemy |
| 14 |
Th |
9:30 - 11:00 |
531 Cory |
Data-flow / Control Optimization |
| 19 |
Tu |
9:30 - 11:00 |
531 Cory |
Software Synthesis / Software Estimation |
| 21 |
Th |
9:30 - 11:00 |
531 Cory |
Tools of the Trade: Cadence VCC |
| 26 |
Tu |
9:30 - 11:00 |
531 Cory |
Sofware Estimation / Scheduling |
| 28 |
Th |
9:30 - 11:00 |
531 Cory |
Scheduling |
| November |
2 |
Tu |
9:30 - 11:00 |
531 Cory |
Quasi Static Scheduling / Co-simulation |
| 3 |
Wd |
5 - 6 |
531 Cory |
Hardware Software Co-verification with Synopsys EagleI |
| 4 |
Th |
9:30 - 11:00 |
531 Cory |
Latency Insensitive Protocols |
| 9 |
Tu |
9:30 - 11:00 |
531 Cory |
Co-simulation |
| 11 |
Th |
9:30 - 11:00 |
531 Cory |
Component Based Design |
| 23 |
Tu |
9:30 - 11:00 |
531 Cory |
Communication Based Design |
| 30 |
Tu |
9:30 - 11:00 |
531 Cory |
Communication Based Design / Sonics |
