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

C, Git, Shell, Perl, Python, Tcl, Xilinx FPGA, Siemens Veloce, Cadence Zebu, Palladium, Uvm, systemverilog, Vivado, SVA

Perl, Verilog, Gdb, Python, SV-UVM, Verification methodologies, Indago, e-specman, Cadence

C, Debugging, Soc Architecture, Perl, Verilog, Python, CPU architecture, AMBA protocols, systemverilog, Emulation, Simulation, Verification fundamentals, Assembly