30 Oct
|
Mirafra Technologies
|
Winnipeg
30 Oct
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 (Winnipeg)
🏢 Mirafra Technologies
📍 Winnipeg