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