EE8350: Advanced Verification Methodologies for VLSI Systems
3 Credits
Object-oriented programming in SystemVerilog. Randomization techniques, threads, interprocess communication, and functional coverage determination. Advanced interfaces and assertion-based verification. UVM tests, components, agents, environments, factory pattern, transactions, and sequences. Formal and semi-formal verification methods. Other advanced verification techniques of current research interest.Prerequisites: EE 5327 VLSI Design Lab or equivalent