in formal property verification (FPV), sequential equivalence checking (SEC/SEQ/SLEC), and/or academic formal methods.... Expertise in a formal property language (SVA preferred), abstraction techniques, formal sign-off and commercial formal tools (VC......
Job Location: Markham, ON, Canada