EE 580 System Verification

Units: 4
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.
Recommended Preparation: EE 457 and EE 477L; scripting using Python, OOP using C++; algorithms, statistics and probability
Instruction Mode: Lecture, Discussion, Quiz
Grading Option: Letter