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

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