LEC (Logic Equivalence Checking) CAD Engineer
- ON, Canada
- Ontario, Canada, Canada
Full-time
Applications open in a new tab.
Job details
- Job type
- Full-time
- Apply by
- Posting language
- English
- Posted
Original job description
A LEC (Logic Equivalence Checking) CAD Engineer who will develop and support formal equivalence methodologies to ensure functional correctness between RTL, synthesized netlists, and physical designs in complex SoC (System on a Chip) development
Key Responsibilities
Flow Management: Own and maintain end-to-end LEC sign-off methodologies across RTL-to-GDS and gate-to-gate flows.
ECO Implementation: Enable Engineering Change Order (ECO) flows to ensure safe, correct late-stage design modifications.
Debugging & Root Cause: Analyze and resolve non-equivalences, aborts, and mismatches across design stages.
Automation: Write and maintain scripts and automation infrastructure using Tcl, Python, Perl, or Shell.
Tool Optimization: Optimize runtime, capacity, and scalability of verification tools while partnering with EDA vendors.
AI Enablement : Enable AI enabled tools and methodologies
Core Requirements
Tools Knowledge: Proficiency in industry-standard tools like Cadence Conformal (LEC/ECO) and Synopsys Formality.
Education: Bachelor's or Master’s degree in Electrical Engineering, Computer Science, or related fields with dedicated hardware/EDA experience
More about this job
Responsibilities
Own and maintain end-to-end logic equivalence sign-off methodologies across RTL-to-GDS and gate-to-gate flows, and enable safe ECO implementation. Debug non-equivalences, aborts, and mismatches; develop automation scripts; optimize verification tools; and support AI-enabled methodologies.
Requirements
Requires proficiency with industry-standard formal equivalence tools, including Cadence Conformal and Synopsys Formality. Requires a bachelor's or master's degree in Electrical Engineering, Computer Science, or a related field, along with dedicated hardware or EDA experience.
Skills
- Logic Equivalence Checking
- Formal Verification
- RTL-to-GDS Flows
- Gate-to-Gate Flows
- ECO Implementation
- Debugging
- Root Cause Analysis
- Tcl
- Python
- Perl
- Shell Scripting
- Verification Tool Optimization
- Cadence Conformal
- Synopsys Formality
- AI-Enabled Methodologies
Visa sponsorship
Not detected in the job text
Categories
- Engineering
- Technology
- Manufacturing
Keywords
- Logic Equivalence Checking
- Formal Equivalence
- Formal Verification
- RTL
- Synthesized Netlists
- Physical Design
- SoC
- RTL-to-GDS
- Gate-to-Gate Flows
- LEC Sign-Off
- Engineering Change Order
- ECO
- Non-Equivalence Debugging
- Root Cause Analysis
- Tcl
- Python
- Perl
- Shell
- Automation
- Cadence Conformal
- Synopsys Formality
- EDA
- Tool Optimization
- AI-Enabled Tools
- Semiconductor Manufacturing