Search Jobs
Search by job, company or skills
Search by job, company or skills
Showing 6 jobs
Skills:
Shell, Perl, Python, complexity reduction techniques, formal verification technologies, high quality testplans, formal testbenches
Skills:
Python, Scripting, formal verification
Skills:
Tcl, Python, Perl, JasperGold, VC Formal, Questa Formal, formal verification methodologies
Skills:
Cadence LEC, formal verification, Physical Design, Conformal ECO generation
Skills:
Cadence LEC, formal verification, Physical Design, Conformal ECO generation, RTL
Skills:
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
