07 Nov
|
Mirafra Technologies
|
Winnipeg
07 Nov
Mirafra Technologies
Winnipeg
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 & Formal Verification Cad Engineer (Winnipeg)
🏢 Mirafra Technologies
📍 Winnipeg