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.
| Section | Session | Type | Time | Days | Registered | Instructor | Location | Syllabus | Info |
|---|---|---|---|---|---|---|---|---|---|
| 30580R | 906 | Quiz | TBA | TBA | 15 of 15 | OFFICE |  | ||
| 30578D | 906 | Lecture | 2:00-4:30pm | Mon, Wed | 15 of 15 | Shahin Nazarian | KAP141 |  | |
| 30579R | 906 | Discussion | 5:30-8:00pm | Wednesday | 15 of 15 | |