Senior Formal Verification Engineer

Overview

Senior Formal Verification Engineer on the Silicon Chassis team, applying formal methods to exhaustively verify interconnect fabric, protocol bridges, and link-layer logic across multiple protocol domains.

What you'll do

• Develop and execute comprehensive formal verification test and coverage plans, including the definition of scope, strategy, and techniques.
• Create abstraction models to enable convergence on designs and apply abstraction techniques to formal verification.
• Generate and validate formal proofs to implement verification plans and resolve failing tests through corrective measures.
• Collaborate across architecture, RTL design, and physical design teams to improve the verification of complex architectural and microarchitectural features.
• Maintain and enhance existing formal verification infrastructure, tools, and methodologies.
• Simplify and model problems using architecture modeling techniques to verify protocols and architectures.
• Utilize tools to formally prove design protocols, resolve BDD complexity, and optimize data paths.
• Document test plans, track verification progress, and drive technical reviews with cross-functional teams.

What you'll need

• BTech/MTech in Electrical Engineering, Computer Science, or related field, with 10+ years of relevant experience in formal verification.
• Proficiency in formal verification tools and methodologies, including model checking and equivalence checking.
• Strong knowledge of System Verilog, Verilog, and logic/microarchitecture fundamentals.
• Experience with abstraction modeling, simulation techniques, and convergence strategies.
• Familiarity with Binary Decision Diagrams (BDD) and Data Flow Graphs (DFG).

Nice to have

• Proven ability to apply problem-solving skills to resolve complex architectural and verification challenges.
• Strong collaboration and teamwork skills, with experience working in cross-functional teams.
• Excellent technical documentation and communication abilities.
• Passion for driving innovation and advancing the state of verification tools and methodologies.

Details

• Location: India, Bangalore.
• Shift: Shift 1 (India).
• Job type: Experienced Hire.
• Work model: Hybrid, splitting time between on-site at the assigned Intel site and off-site.