cache coherency , Jasper, formal verification, SV assertions, AMBA protocol, VC Formal, Formal methodologies

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

Python, Scripting, formal verification

Tcl, Python, Perl, JasperGold, VC Formal, Questa Formal, formal verification methodologies

Tcl, Perl, JasperGold, digital design concepts, Questa, VC Formal, systemverilog, debugging complex design bugs, convergence techniques, formal coverage metrics, RTL coding in Verilog, Formal OneSpin, formal verification, formal property specification

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