Formal Verification
Job Location: Bangalore
Experience: 4-15 Years
Description:
• Minimum 4 years of
experience working of on Verification using Formal tools.
• The job involves very close interaction with the design team and with other
validation teams.
• Review functional and micro-architectural specifications, define the scope
for formal verification, and create high-quality formal verification testplans
to sign-off on the corresponding design implementation.
• Build formal verification testbenches, code assertions and constraints, and
apply abstraction techniques to converge the targeted properties or to achieve
reasonable proof-depth.
• Apply formal coverage techniques for analysing over-constraints and for
measuring functional coverage. Design and develop functional verification flows
that involve both vendor and internally developed formal tools.
• Experience on Cadence/Synopsys/mentor formal verification tool required
• Minimum 8 years of
experience working of on Verification using Formal tools.
• The job involves very close interaction with the design team, architecture
team, with other validation teams. You will help decide on the best
applications of formal verification techniques to various parts of the design
Develop scripts (Perl and Python) and build flows (Makefile and CMake) to
enable.
• Review functional and micro-architectural specifications, define the scope
for formal verification, and create high-quality formal verification testplans
to sign-off on the corresponding design implementation.
• Define Formal verification testbench architecture
• Build formal verification testbenches, code assertions and constraints, and
apply abstraction techniques to converge the targeted properties or to achieve
reasonable proof-depth.
• Apply formal coverage techniques for analysing over-constraints and for
measuring functional coverage. Design and develop functional verification flows
that involve both vendor and internally developed formal tools.
• Experience on Cadence/Synopsys/mentor formal verification tool required
• Has ability to lead team and guide team members. Has ability to take
ownership of deliverable to customer.
- Apr 27 2020 |
- Senior Engineer / Lead |
- 4
