Verilog, System Verilog, Verification environments, Mentor tools, AMBA protocols, ARM processor-based subsystem SoC verification, Uvm, Functional coverage, formal verification, VHDL, Constrained random verification, Code coverage analysis, Specman