System Verilog, Python, Perl, VHDL, Uvm, digital mixed-signal simulations, analog mixed-signal AMS, formal verification

Coverage models, Uvm, CPU Core Verification, Constrained-random tests, systemverilog, Architecture Validation, Testbenches, Checkers, Scoreboards