1 Interrupt Logic 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 - 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 2 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