Tcl, Python, Perl, CI CD integration, assertion-based verification, CAD tool integration, coverage analysis, Uvm, regression automation, formal verification, systemverilog, dynamic verification

Peripheral subsystems, HSIO, Verification infrastructures, coverage analysis, Integration of multiple IPs, UVM-based test plan development, Assertions, SoC-level verification