ASIC Engineer, Formal Verification

Meta Platforms; Bengaluru; On-site; INR 1,200,000 - 2,400,000; Full time

Job summary

Meta Platforms in Bengaluru is seeking an engineer to design and develop formal verification models for ASIC designs, collaborating with cross-functional teams to identify and resolve design issues and implementing formal proofs to verify design functionality.

You will analyze and debug verification results to ensure design quality, work with the design team to ensure functional compliance, and participate in code reviews to improve overall code quality.

Responsibilities

• Design and develop formal verification models for ASIC designs.
• Collaborate with cross-functional teams to identify and resolve design issues.
• Develop and implement formal proofs for verifying design functionality.
• Analyze and debug formal verification results to ensure design quality.
• Work closely with the design team to ensure design meets functional requirements.
• Participate in code reviews and improve overall code quality.

Job description

• Design and develop formal verification models for ASIC designs.
• Collaborate with cross-functional teams to identify and resolve design issues.
• Develop and implement formal proofs for verifying design functionality.
• Analyze and debug formal verification results to ensure design quality.
• Work closely with the design team to ensure design meets functional requirements.
• Participate in code reviews and improve overall code quality.