ASIC Formal Verification Engineer, Google Cloud

Responsibilities

• Plan the formal verification strategy, create the properties and constraints for the digital design blocks.
• Utilize formal property verification tools combined with formal verification closure techniques to verify properties.
• Resolve difficult to verify properties.
• Contribute improvements to methodologies to enhance formal verification results.
• Architect and implement reusable formal verification components.
• - Plan the formal verification strategy, create the properties and constraints for the digital design blocks. - Utilize formal property verification tools combined with formal verification closure techniques to verify properties. - Resolve difficult to verify properties. - Contribute improvements to methodologies to enhance formal verification results. - Architect and implement reusable formal verification components.

Minimum qualifications:

Preferred qualifications: