Vcs, Makefile, Shell, Perl, Python, Assertion-based verification, Xcelium, Functional and code coverage closure, verification automation frameworks, Formal verification tools and methodologies, PSL, Uvm, systemverilog, CI CD verification flows, simulation acceleration, Questa, Regression infrastructure, AI-assisted verification tools, Vivado Simulator, SVA, Coverage-driven verification strategies

Vcs, Shell, Makefile, Python, Perl, Questa, Functional and code coverage closure, Uvm, AI-assisted verification tools, PSL, CI CD verification flows, Assertion-based verification, Regression infrastructure, systemverilog, Xcelium, verification automation frameworks, SVA, Formal verification tools and methodologies, simulation acceleration, Coverage-driven verification strategies, Vivado Simulator