Electrical and Computer Engineering 580:
System Verification (4.0 units)
Functional/timing/power verification of complex systems. Simulation-based, formal/semi-formal/assertion languages and tools (SystemVerilog, UVM, UPF, etc.) FPGA prototyping, hardware acceleration, statistical modeling and machine learning. Instructor permission required.
| Section | Session | Type | Time | Days | Registered | Instructor | Location | Syllabus | Info |
|---|---|---|---|---|---|---|---|---|---|
| 30750D | 055 | Lecture | 3:30-5:30pm | MWF | 40 of 42 | Shahin Nazarian | PDF (46461 KB) |   | |
| 30751R | 055 | Discussion | 7:00-8:00pm | Tuesday | 40 of 42 | | |||
| 6:00-8:00pm | Wednesday | ||||||||
| 30752R | 055 | Quiz | TBA | TBA | 40 of 42 | OFFICE | |