Test Plan definition and review
RTL/Gate/Mixed Signal simulations, synthesis, timing closure, coverage analysis, certitude analysis
Testbench Development using UVM
Formal Verification
Languages: C/C,System Verilog, UVM,Perspec, Perl/python scripting
Databases: GIT, Clearcase
Tools: Xcelium, Questasim, Jasper Gold, Jenkins