Ovm, Verilog, Python, Functional Verification, formal verification, systemverilog, Uvm, Asic verification, Pre-Silicon Verification

Perl, Verilog, Gdb, Python, Indago, Cadence, SV scripting languages