Back to jobs

ASIC Formal Verification Engineer, Google Cloud
Sunnyvale, CA, USAPosted 2 days ago
hybrid
Job Description
- 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.