30 Oct
|
Mirafra Technologies
|
Canada
30 Oct
Mirafra Technologies
Canada
Mirafra Technologies in Canada is seeking an experienced LEC / Formal Verification CAD Engineer to define, develop, and maintain end-to-end Formal Equivalence Checking flows across RTL-to-Gate, Gate-to-Gate, and Post-ECO stages. You will partner with RTL, Synthesis, Physical Design, and Power teams to debug non-equivalences and optimize verification performance.
You will implement power-aware checks using UPF/CPF, automate flows with Tcl, Python, and Perl, and work with Cadence Conformal EC and
📌 Senior LEC (Canada)
🏢 Mirafra Technologies
📍 Canada