simvision , Vcs, Pcie, Tcl Scripting, Xcelium, Uvm, systemverilog, APB, Questa, AHB, AXI4, Verdi, Microprocessor-level verification, JasperGold, Floating-point verification, Questa Formal, VC Formal, SVA assertion writing, CDC verification, TLP handling, formal verification

Vcs, Perl, Verilog, System Verilog, Python, Tcl, LINT, cdc, Xcelium, spyglass, RDC, Questa, Questa CDC

code coverage , Oops, Usb, Networking, Cpu, DDR, Pcie, Verilog, Ethernet, Arm, LINT, cdc, SV, SV METH, C tests, Axi, AMBA, spyglass, VHDL, SoC Verification, Graphics, RTL Coding, AHB

Verilog, formal verification, power-aware verification, Uvm, gate-level simulation, systemverilog, ASIC verification methodologies