Vcs, Pcie, Python, Tcl, Xcelium, Uvm, systemverilog, APB, Questa, SVA assertions, AHB, AXI4

code coverage , C, Shell, Perl, Verilog, Debugging, Python, System Verilog, Tcl, UVM methodology, Metric Driven Verification, formal verification methodologies, assertions, constrained random methodologies, functional coverage