- Atleast 7+ years of experience in formal verification.
- Writing properties and proving them with commercial checkers.
- Knowledge of assertion languages: PSL or SVA (must have).
- Must have setup a Formal Verification flow before
- Has worked on all industry standard Formal tools – Questa Formal Verification (must-have), VC Formal (good to have), Jasper (good to have), Incisive Formal Verifier (good to have)
Location: Bangalore, India
- Highly competitive to match experience and capability
How To Apply
Send your CV to [email protected]