Senior Formal Verification Engineer Careernet

5.0 - 10.0 years

40 - 60 Lacs

bengaluru

Work from Office

Key Skills: Formal Verification, Frontend Verification, Functional Verification Roles and Responsibilities: Develop detailed formal verification (FV) test plans based on design specifications. Collaborate with design teams to refine micro-architecture specifications. Identify key logic components and critical micro-architectural properties essential for ensuring design correctness. Implement formal verification models, abstractions, assertions, and utilize assertion-based model checking to detect corner-case bugs. Apply complexity reduction techniques using industry-standard EDA tools or academic formal verification tools to achieve proof convergence or sufficient depth. Develop and maintain...

Posted 2 hours ago

Apply

Start Your Job Search Today

Browse through a variety of job opportunities tailored to your skills and preferences. Filter by location, experience, salary, and more to find your perfect fit.