Renata
Back to jobs
Google

ASIC Formal Verification Engineer, Google Cloud

Google
Sunnyvale, CA, USAPosted 2 days ago
hybrid
Apply NowAsk Renata

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.

See Your Match Score

Sign up and Renata will show you how this job matches your skills and experience.

Get Started Free
About Google
Website
ASIC Formal Verification Engineer, Google Cloud at Google | Renata