Spi, Pcie, Verilog, Usb, Dac, Uart, Can, Ethernet, power-aware simulations, ADC, gate-level simulations, PLLs, Cadence Xcelium, Uvm, UPF, constrained-random verification, EDA Tools, assertions, security IPs, I²C, functional coverage, low-power verification, eSPI, systemverilog, SoC-level verification, Synopsys VCS, Flash Memory, Analog IPs, SVA, ARM-based microcontrollers