Renata
Back to jobs
Dahl Consulting

ASIC Formal Verification Engineer, TPU Compute

Dahl Consulting
Sunnyvale, CA, USAPosted 6 days ago
hybrid

Job Description

  • Define and drive the formal verification sign-off approach across complex IP and SoC designs, utilizing advanced formal techniques.
  • Architect, develop, and deploy reusable formal testbenches, methodology flows, and high-coverage SystemVerilog Assertions (SVA) suites across multiple designs and projects.
  • Collaborate with architecture and design teams to translate complex system and IP specifications into comprehensive formal verification test plans.
  • Maintain and enhance continuous integration, regression flows, and dashboarding to provide formal verification status and sign-off metrics.
  • Guide logic designers and verification engineers to effectively incorporate formal methods into their workflows.

See Your Match Score

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

About Dahl Consulting
Website
ASIC Formal Verification Engineer, TPU Compute at Dahl Consulting | Renata