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