Networking, Test Methodologies, Pcie, Ethernet, Axi, AMBA

UVM (Universal Verification Methodology), Tcl, Mercurial, Svn, DDR, Git, Perl, Pcie, Ethernet, Arm, Python, RISC-V, systemverilog, AMBA, Emulation, C/C++, System Verilog Assertions, Design Verification infrastructure

Tcp, Pcie, Ethernet, System Verilog, Gate Level Simulations, Forwarding logic Parsers P4, RDMA, Building test benches from scratch, Palladium, Zebu, Veloce, ASIC verification using UVM, HAPS, formal verification

Tcp, System Verilog, Ethernet, Pcie, formal verification, Forwarding logic Parsers P4, Verifying sophisticated blocks clusters and top level for ASIC, Building test benches from scratch, RDMA, Zebu, System Verilog constraints structures and classes, HAPS, ASIC verification using UVM, Palladium, Veloce

Vcs, Perl, Python, Tcl, Questa, Verdi, XSIM, AMBA protocols, Uvm, systemverilog, Axi, APB, DVE, AHB

Noc, Usb, DDR, Pcie, Perl, Ethernet, Python, Tcl, SVA, Functional Coverage, Uvm, systemverilog, DDR5, LPDDR, DDR4