C, Makefile, Perl, Python, Tcl, Systemc, ARM bus protocols, Root of Trust verification, secure processor verification, cryptographic IP verification, formal verification tools, assertion-based verification, Uvm, regression debug, test bench architecture, directed testing, coverage-driven verification, systemverilog, constrained-random verification, security property checking, SoC protocols, EDA Tools

Makefile, Perl, Ruby, Python, object-oriented programming, simulation debugging, power aware simulation, ASIC verification tools, Uvm, systemverilog, C-DPI, Axi, AMBA, linting, AHB

Usb, Vcs, DDR, Pcie, Perl, Ethernet, Shell scripting, Python, Tcl, Xcelium, Uvm, systemverilog, Questa

Makefile, Perl, Ruby, Python, object-oriented programming, simulation debugging, power aware simulation, ASIC verification tools, Uvm, systemverilog, C-DPI, Axi, AMBA, linting, AHB

Makefile, Perl, Ruby, Python, object-oriented programming, simulation debugging, power aware simulation, ASIC verification tools, Uvm, systemverilog, C-DPI, Axi, linting, AMBA, AHB