FVCTO - Formal Verification Engineer

Intel
Bengaluru
Workplace: HybridFull timeFunction: Executive & General ManagementExperience: 2-18 yearsSkills: ["Collaboration","Documentation","Technical review","Problem-solving","Methodology development"]

Perform formal verification of IP and SoC microarchitecture using model checking and equivalence checking. Develop verification test and coverage plans, build and refine abstraction models, and create formal proofs to implement the verification strategy. Collaborate with architects, RTL developers, and physical design teams to improve verification coverage, resolve failing tests, and maintain functional verification infrastructure and methodology. Drive technical reviews and document plans and proofs.

Loading

Loading job details...

Preparing the role view and application actions.

FursaFursa
Intel
Intel
13 hours ago

FVCTO - Formal Verification Engineer

✓ Verified Job

Canonical indexed version, validated from employer's careers page.

Source: Company careers pageValidated by: Fursa AI
Last checked: 13 hours agoStatus: Live
Reposted: similar role first listed 7 months ago

Job Summary

Perform formal verification of IP and SoC microarchitecture using model checking and equivalence checking. Develop verification test and coverage plans, build and refine abstraction models, and create formal proofs to implement the verification strategy. Collaborate with architects, RTL developers, and physical design teams to improve verification coverage, resolve failing tests, and maintain functional verification infrastructure and methodology. Drive technical reviews and document plans and proofs.
Location: Bengaluru
Workplace: Hybrid
Employment Type: Full time
Job Function: Executive & General Management
Seniority: Mid level

Key Responsibilities

  • •Conduct verification of IP and/or SoC microarchitecture using formal verification tools and methodologies.
  • •Create formal verification test and coverage plans, defining scope, strategy, and techniques.
  • •Build abstraction models, define abstraction boundaries, and apply convergence and abstraction techniques.
  • •Develop and review formal proofs; perform convergence using formal verification methodology, abstraction, and simulation techniques.
  • •Collaborate with architects, RTL developers, and physical design teams; document plans and drive technical reviews while maintaining verification infrastructure and methodology.

Key Requirements

  • •2-18 years of experience in formal verification.
  • •BTech/MTech in Electronics, Electrical or CS (preferred).
  • •Create formal verification test and coverage plans, including scope, strategy, and techniques.
  • •Develop proofs, review completed proofs, and develop new formal verification methodologies.
  • •Apply abstraction modeling and corrective measures to resolve failing tests.
Experience:2-18 yearsFormal verification
Education:
Skills:CollaborationDocumentationTechnical reviewProblem-solvingMethodology development
Tech Stack:Formal verificationModel checkingEquivalence checkingAbstraction modelsBDDData flow graph (DFG)RTLSimulation

Company Brief

Intel
Designs and manufactures semiconductor chips, processors, and related hardware for PCs, data centers, networking, and embedded applications, while providing software and services to accelerate computing across industries globally.
Industry: Electronics Manufacturing
Company Size: Enterprise (1,001+ employees)
Revenue: USD 1B+
Growth: Public Company
Valuation: Public Company (Market Cap in USD)
Funding: IPO / Publicly Listed
Headquarters: Santa Clara, United States
Founded: 1968
Glassdoor
Glassdoor: 3.8
WebsiteLinkedInGlassdoor