3unit(s) EE273 covers non-design System Verilog and Universal Verification Methodology (UVM). It introduces logic verification methodologies and techniques. No prior object oriented programming is assumed. UVM is practiced on sample designs in lab projects with industrial simulation tools.