Fvcto – Formal Verification Specialist
| Company | Intel |
|---|---|
| Location | Santa Clara, CA, USA |
| Salary | $186070 – $262680 |
| Type | Full-Time |
| Degrees | Bachelor’s, Master’s, PhD |
| Experience Level | Senior, Expert or higher |
Requirements
- Bachelor’s Degree in Electrical Engineering, Computer Engineering, Computer Science or a related field with 7 years relevant experience
- – OR – Master’s Degree in Electrical Engineering, Computer Engineering, Computer Science or a related field with 4 years relevant experience
- – OR – PhD in Electrical Engineering, Computer Engineering, Computer Science or a related field with 2 years relevant experience
- Experience in RTL languages like System Verilog or VHDL
- Experience in assertion languages like SVA, formal verification.
Responsibilities
- Verify microarchitecture using industry standard Formal Verification tools and technologies based on latest model checking and equivalence checking algorithms on world class design IPs and SOCs for Server, Client and Graphics.
- Use the hardware architecture design and RTL implementation details. Define the Formal Verification scope, deploy the right strategy to prove the correctness while deploying advanced formal techniques, and create abstraction models for convergence on the design.
- Carve out the right boundaries for the design, create comprehensive formal verification test plans, track, verify, apply abstraction techniques, and converge on complex designs to deliver a high-quality design on schedule and articulate the ROI.
- Analyses new methodologies, evaluates new tools and collaborate results. Work with vendors on resolving hard design and tool problems.
Preferred Qualifications
- Experience with the fundamentals of formal verification technology, including model checking and writing formal assertions to express architectural intent of designs
- Formal verification principles and methods
- Computer architecture, digital design and verification methods
- Research in formal verification domain