Python, Jasper VC, Formal Questa, Formal 360-DV, Formal verification tools

Verilog, formal verification, VHDL, Chisel, JasperGold, VC Formal, Object-oriented Programming, systemverilog, Formal Abstraction Techniques

Shell, Python, Perl, formal verification technologies, complexity reduction techniques, high quality testplans, formal testbenches, root-causing counter-examples

Shell, Perl, Python, formal property verification, complexity reduction techniques, formal verification technologies, formal testbenches, testplans

Tcl, Python, Perl, PSL, JasperGold, OneSpin, VC Formal

Shell, Perl, Verilog, Automation Scripting, Python, Tcl, SVA, Protocol verification, Formal verification methodologies, systemverilog, RTL analysis, Temporal logic

Verilog, System Verilog, Equivalence Checking, Abstraction Modeling, Simulation Techniques, Logic Microarchitecture Fundamentals, model checking, formal verification, Convergence Strategies

Debugging, Scripting, formal verification, assertions, hardware micro-architecture, testplans