Opengl, System Verilog, SV UVM based test benches, Vulkan API libraries, scripting languages such as Perl, Graphics architecture, HDLs like Verilog, debugging RTL TB issues using Verdi or similar tools, formal tools like Jasper or VC-Formal

code coverage , Scoreboards, Functional coverage, Assertions, RTL verification using Verilog and SystemVerilog, Constrained-random verification environments, Verification closure methodologies, Testbenches, Regression management, Coverage-driven verification techniques, Developing verification plans, Digital Verification