Verilog, Tcl, System Verilog, Perl, Uvm, code coverage analysis, Mentor tools, Digital RTL verification, ARM processor-based subsystem SoC verification, VHDL, constrained random verification, functional coverage, Specman, verification environments, AMBA protocols