Virtualization, Pcie, Switch, High Speed IO verification, formal verification, XUSB, Uvm, Safety, 1G Ethernet MAC, Memory controller verification, Interconnect verification, Sensor processing, UFS, Verification tools for simulation and debug, CPU verification, VMM, Security, APB, Axi