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
