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