Vcs, Makefile, Shell, Perl, Python, System Verilog, Assertion-based verification, Xcelium, UVM methodology, Constrained-random verification, Questa, Vivado Simulator, formal verification

C, Makefile, Windows, Shell, Linux, Perl, Verilog, Ruby, System Verilog, Systemc, HLS tools, UVM testbenches, automating workflows in a distributed compute environment, Processor Micro-Architecture concepts, simulation profile efficiency improvement, UVM based verification frameworks, TLM, debugging firmware and RTL code using simulation tools, IP Sub-System SOC level ASIC verification

Vcs, Makefile, Shell, Perl, Python, High-speed interface protocols, Assertion-based verification, Xcelium, Functional and code coverage closure, Formal verification tools and methodologies, PSL, Uvm, systemverilog, CI CD verification pipelines, Constrained-random verification, Questa, Debugging RTL, Regression infrastructure, AI-assisted verification tools, Vivado Simulator, SVA, Verification automation frameworks

Perl, Python, Tcl, industry-standard simulators, Assertions SVA, Constrained-random verification, Uvm, Functional coverage, regression environments, systemverilog