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

formal verification, CPUs/GPUs/Cache, Understand the design, Formal test plan documentation, verification/datapath

Cadence JasperGold, Synopsys VC Formal, SVA, Digital Design, systemverilog