Search Jobs
Search by job, company or skills
Search by job, company or skills
Showing 5 jobs
Skills:
Shell, Perl, Python, formal property verification, complexity reduction techniques, formal verification technologies, formal testbenches, testplans
Skills:
Shell, Perl, Python, formal property verification, complexity reduction techniques, formal verification technologies, formal testbenches, testplans
Skills:
C, Computer Architecture, Python, Test Planning, floating-point execution, coverage analysis, Debug, verification methodologies, CPU microarchitecture, systemverilog, formal verification, stimulus generation, ALU pipelines, datapath verification
Skills:
Perl, Shell scripting, Python, Tcl, CPF, UPF
Skills:
Shell, Perl, Verilog, Automation Scripting, Python, Tcl, SVA, Protocol verification, Formal verification methodologies, systemverilog, RTL analysis, Temporal logic
