formal verification, Synopsys VC Formal, Cadence JasperGold, systemverilog

C, Perl, Python, Tcl, Formal Verification methods, Formal verification techniques

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, Perl, Python, formal property verification, complexity reduction techniques, formal verification technologies, formal testbenches, testplans

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