Perl, Verilog, Gdb, Python, SV-UVM, e-specman

C, C++, Bash, Perl, Verilog, Python, Tcl, IP architecture, Debug, stimulus development, verification planning, Digital Design, Uvm, systemverilog, scoreboards, assertions, functional coverage

Uart, Nvme, Verilog, I2c, Pcie, Flash, system debug infrastructure, Uvm, system memory hierarchy, AMBA bus protocols, systemverilog, digital ASIC design and verification, formal verification, ARM cores and related infrastructure, CXL, DRAM, CPUSS C-based verification, multi-core SOC, SSP

Ovm, Verilog, System Verilog, C, Systemc, PERL, Shell script, Assembly Language, dpi, SoC Verification, Uvm, Emulation

code coverage , MATLAB, Functional Coverage, large-scale regression debugging, System Verilog UVM, directed testing, constrained-random verification, Fixed-Point Designer, C reference models, DSP and arithmetic data paths, model-based verification, RAL

Verilog, formal verification, VHDL, Chisel, JasperGold, VC Formal, Object-oriented Programming, Formal Abstraction Techniques, systemverilog

C, C++, Vcs, Debugging, RTL simulation, on-chip bus protocols, Xcelium, Uvm, systemverilog, SoC-level verification, AMBA, Axi, APB, Questa, AHB, functional coverage