Electrical 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.
- Note: Register for one lecture, discussion and quiz
| Section | Session | Type | Time | Days | Registered | Instructor | Location | Syllabus | Info |
|---|---|---|---|---|---|---|---|---|---|
| 30578D | 906 | Lecture | 2:00-4:30pm | Mon, Wed | 22 of 20 | Shahin Nazarian | KAP134 | PDF (123816 KB) |    |
| 30579R | 906 | Discussion | 5:30-8:00pm | Tuesday | 22 of 20 | GFS118 | | ||
| 30580R | 906 | Quiz | TBA | TBA | 22 of 20 | OFFICE | |