1 Svapsl Jobs

Setup a job Alert
JobPe aggregates results for easy application access, but you actually apply on the job portal directly.

ACL Digital logo
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 4 months ago

AI Match Score
Apply
cta

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.

Job Application AI Bot

Job Application AI Bot

Apply to 20+ Portals in one click

Download Now

Download the Mobile App

Instantly access job listings, apply easily, and track applications.

Google Play App Store

Featured Companies

View All Companies