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 |
|---|---|---|---|---|---|---|---|---|---|
| 30578D | 906 | Lecture | 2:00-5:00pm | Mon, Wed | Canceled | PDF (58272 KB) |   | ||
| 30579R | 906 | Discussion | 2:00-5:00pm | Tuesday | Canceled |  | |||
| 30580R | 906 | Quiz | 2:00-5:00pm | Friday | Canceled | |