Verilog, Asm, Tcl, coverage judgement, Verdi, Indago, Functional Safety ISO26262, Uvm, AMBA protocol AHB, systemverilog, C Language, Vplan verification plan making, Formal verification SVA, assembly, XLM

Perl, Python, EDA Tools, Mentor Graphics, Cadence, Synopsys, Uvm, systemverilog