Ovm, Database Management, Verilog, System Verilog, high speed interface verification, silicon debug, verification management tools, formal property checking tools, Uvm, Synopsys VCS, gate level simulation, power verification, Cadence IES, reset verification, contention checking, metric-driven verification