Proficiency with Synopsys Formality and Cadence Conformal Equivalence Checker is required. Candidates must have strong scripting skills in Tcl, Python, and Perl.

Experience

5 to 10 years

Working hours

40 hours per week

Job type

Full-time

Work arrangement

On-site

Skills

Logic Equivalence Checking
Synopsys Formality
Cadence Conformal Equivalence Checker
Tcl
Python
Perl

Visa sponsorship

Not detected in the job text

Keywords

Logic Equivalence Checking
LEC
CAD
Synopsys Formality
Cadence Conformal Equivalence Checker
Tcl
Python
Perl
Semiconductor Manufacturing
Computer Hardware Manufacturing
Engineering

Original job description

Logic Equivalence Checking (LEC) CAD with tools Synopsys Formality and Cadence Conformal Equivalence Checker.

Also must have good scripting knowledge in tcl, python, perl etc

Apply by Oct 7, 2026

Apply About employer

Report this job

Open jobs in Canada

Physical Design Engineer

Physical Design Engineer

Logic Equivalence Checking (LEC) CAD