code coverage , closure , automation, Ovm, Tcl Scripting, Verilog, Perl, SDF, GLS, Uvm, RTL, SV, Specman, test-bench development, HVL, assertions development, eRM methodology, formal verification, constraint randomization