8.0 - 10.0 years

0 Lacs

bengaluru, karnataka, india

On-site

Senior Formal Verification Engineer (CPU) Experience : 8+ years Location : Bangalore Role Overview: Owns property-based formal verification of the CPU core, pipeline stages, and subcomponents with exhaustive proof goals. Key Responsibilities: Lead formal planning and methodology for control logic, pipelines, and memory subsystems Define safety and liveness properties, model check for corner case behavior Guide designers in writing formal-friendly RTL and assertions Analyze convergence issues, coverage gaps, and create abstraction models Integrate formal sign-off into project milestones Required Skills: 8+ years of formal verification experience with CPUs or processors Strong with JasperGold,...

Posted 1 month ago

AI Match Score

Apply

Formal Verification Engineer ACL Digital

4.0 - 8.0 years

0 Lacs

karnataka

On-site

As a Formal Verification Engineer at our company, you will play a crucial role in ensuring the functional correctness of complex IP and SoC designs by developing and executing formal verification strategies. Your responsibilities will include: - Defining and implementing formal verification strategies and plans. - Developing formal properties and assertions for critical design blocks. - Applying formal techniques such as property checking, sequential equivalence checking, and formal coverage. - Analyzing formal results, identifying unreachable or vacuous properties, and refining models. - Collaborating closely with RTL designers, DV engineers, and architects. - Integrating formal into the ov...

Posted 1 month ago

AI Match Score

Apply

Verification Specialist ACL Digital

8.0 - 12.0 years

0 Lacs

karnataka

On-site

As a Senior Formal Verification Engineer specializing in CPUs, you will be responsible for the property-based formal verification of the CPU core, pipeline stages, and subcomponents with exhaustive proof goals. Your role will involve leading formal planning and methodology for control logic, pipelines, and memory subsystems. You will define safety and liveness properties, model check for corner case behavior, and guide designers in writing formal-friendly RTL and assertions. Additionally, you will analyze convergence issues, coverage gaps, and create abstraction models, while integrating formal sign-off into project milestones. To excel in this role, you should have a minimum of 8 years of f...

Posted 3 months ago

AI Match Score

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.