Hmc, Arm, Ethernet, Pcie, DDR, Functional Safety verification, formal verification, Assertions, UCIe, Uvm, Security verification, systemverilog, Emulation, coverage-driven verification, SoC Verification, AI-assisted verification, RISC-V, Portable Stimulus PSS, Zebu, HBM, Palladium, Hardware software co-verification, Veloce