C, Opengl, Opencl, D3D, Uvm, systemverilog

Makefile, Windows, Linux, Perl, Python, IP level ASIC verification, AI tools, SystemVerilog language, UVM testbenches, automating workflows in a distributed compute environment, acceleration, formal verification, UVM concepts, simulation profile efficiency improvement, debugging RTL code using simulation tools, testbenches processes and flows

Synopsys VCS, Synopsys VC Formal, HBM4, silicon debug, Cadence JasperGold, formal property checking tools, verification management tools, Uvm, systemverilog, LPDDR6

Synopsys VCS, Synopsys VC Formal, HBM4, silicon debug, Cadence JasperGold, formal property checking tools, verification management tools, Uvm, systemverilog, LPDDR6

PERL, Verilog, Tcl, Uvm, systemverilog

shell scripting, Perl, Verilog, Python, Tcl, EDA Tools, constrained random verification, assertion-based verification, Uvm, coverage-driven verification, systemverilog

Makefile, Windows, Perl, Linux, Python, IP-level ASIC verification, simulation profiling, UVM methodology, UVM testbenches, systemverilog, formal verification, testbenches, Efficiency Improvement, UVM-based verification frameworks