The team treats constrained-random simulation, formal methods and processor-driven SoC testing as equal first-class tools, and is building an AI-enabled verification platform (LLM-assisted stimulus and testbench generation, automated regression triage and failure clustering, data-driven coverage closure). The work spans IP, subsystem and full SoC verification, including CPU subsystems, performance-critical interconnects, security, high-speed peripherals, modem datapath and PHY layers, DSP and beamforming compute, and mixed-signal interfaces.