C, Makefile, Windows, Shell, Linux, Perl, Verilog, Ruby, System Verilog, Systemc, IP-level ASIC verification, graphics pipeline knowledge, acceleration HLS tools, RTL code, Simulation Tools, UVM testbenches, automating workflows, simulation profile efficiency improvement, UVM based verification frameworks, TLM, debugging firmware, testbenches processes and flows

C, Makefile, Windows, Linux, Perl, Verilog, Ruby, System Verilog, Systemc, IP-level ASIC verification, graphics pipeline knowledge, HLS tools, RTL code, Simulation Tools, UVM testbenches, automating workflows, simulation profile efficiency improvement, TLM, UVM based verification frameworks, debugging firmware

Jasper, Pcie, Verilog, System Verilog, Synopsys VC-Formal Magellan, formal property checking tools, Uvm, Cadence IEV, Synopsys VCS, HBM, Cadence IES, SVA

Systemc, C, Windows, Linux, Verilog, Makefile, Ruby, System Verilog, Perl, graphics pipeline knowledge, debugging firmware and RTL code, automating workflows, HLS tools, UVM testbenches, TLM, simulation profile efficiency improvement, UVM based verification frameworks, IP-level ASIC verification

C, Systemc, Makefile, Verilog, Ruby, System Verilog, Perl, Debugging firmware and RTL code using simulation tools, Graphics pipeline knowledge, Developing UVM based verification frameworks, UVM testbenches, Simulation profile efficiency improvement, TLM, IP-level ASIC verification