Vcs, Makefile, Shell, Perl, Python, High-speed interface protocols, Assertion-based verification, Xcelium, Functional and code coverage closure, Formal verification tools and methodologies, PSL, Uvm, systemverilog, CI CD verification pipelines, Constrained-random verification, Questa, Debugging RTL, Regression infrastructure, AI-assisted verification tools, Vivado Simulator, SVA, Verification automation frameworks