C, Perl, Pcie, Verilog, Ruby, Python, coverage-based verification methodology, PSL, Uvm, systemverilog, IOMMU, SVA, hardware assertions, hardware verification methodologies

Pcie, Verilog, formal verification, Asic Design Verification, high speed IO protocol, low power verification, Serdes PHY, Uvm, systemverilog