Tcl, System Verilog, Python, Pcie, Perl, SVA, assertion-based verification, Coresight, Uvm, UPF, SMMU, CHI, coverage-driven testing, CXL, formal verification, power-aware verification, Axi

code coverage , System Verilog, IC verification tools, Cover groups, DIMM, DDR5, DDR4, Uvm, Functional coverage, Assertions, LPDDR5