EE8350: Advanced Verification Methodologies for VLSI Systems

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

View on University Catalog