This job offer is not available in your country.
Verification Specialist
ACL DigitalBengaluru, Karnataka, India30+ days ago
Job description8+ years of formal verification experience with CPUs or processors Strong with JasperGold, VC Formal, OneSpin or equivalent Expertise in SVA / PSL, abstraction modeling, and formal coverage closure Strong computer architecture background (pipeline, MMU, interrupt logic) Excellent problem-solving, convergence debugging, and documentation skills
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 :
Interested,please drop your updated CV to janagaradha.n@acldigital.com
Create a job alert for this search
Verification Specialist • Bengaluru, Karnataka, India
Related jobs
![AMS Verification Engineer [Apply Now]](https://cdn-logos.talent.com/v1/logo/image?feedcode=attb-in&company_name=eInfochips%20(An%20Arrow%20Company))
- Promoted
SOC Verification Engineer
HCLTechBengaluru, Karnataka, India Required Skills and Experience : .Experienced in Protocol on Flash Storage device Controller with unipro and MIPI PHY.Experience in Working on any of cross functional flows like Reset, Ras(Error and ...Show moreLast updated: 30+ days ago
- Promoted
Configuration Specialist (Veeva Vault)
vueverse.hosur, tamil nadu, in The role of Veeva Vault Technical Support is responsible for providing expert-level support and administration for Veeva Vault applications.
This includes troubleshooting system issues, assisting us...Show moreLast updated: 7 days ago
- Promoted
SOC Verification
USTBengaluru, Karnataka, India We are seeking a highly motivated and experienced SoC Verification Engineer to join our team.As a key member of the verification team, you will be responsible for developing and executing verificat...Show moreLast updated: 26 days ago
- Promoted
AMS Verification Engineer [Apply Now]
eInfochips (An Arrow Company)Bengaluru, Karnataka, India Position : AMS Verification Engineers Experience : 5+ Years Location : Bangalore, Hyderabad, Ahmedabad, Noida Key Responsibilities : - Lead the planning, development, and execution of AMS verificat...Show moreLast updated: 23 days ago
- Promoted
Experienced Verification Engineer
ConfidentialBengaluru / Bangalore At Group Trucks Technology you will contribute to the transformation of our company, the transport industry and society at large.
Design, develop, and maintain automation frameworks using industry-s...Show moreLast updated: 30+ days ago
- Promoted
System Verification and Validation-Avionics
ALTEN Indiabangalore, karnataka, in Analyse control sub-system requirements for testability (verification of the integrated ‘black box’ control system … not component or software verification).
Allocate requirements against test vehic...Show moreLast updated: 30+ days ago
- Promoted
- New!
AR Follow Up or Accounts Receivable Specialist
Svast Healthcare Technologieshosur, tamil nadu, in Svast Healthcare Technologies is a trusted Revenue Cycle Management (RCM) and billing partner for physician practices and provider groups.
We have billed over $1B+ for 100+ clients, guaranteeing an ...Show moreLast updated: 2 hours ago
- Promoted
Valiance Solutions - Analytics Specialist - WebApps
ValianceBangalore Role Overview : The Web & App Analytics Specialist will be responsible for managing end-to-end analytics processes across our web and mobile platforms.This role requires clo...Show moreLast updated: 30+ days ago
- Promoted
Validation Lead
Compliance Group Inchosur, tamil nadu, in We are looking for Validation Lead for Compliance Group Inc.High preference to short notice period.Develop and implement validation strategies and processes to ensure the quality and reliability of...Show moreLast updated: 30+ days ago
- Promoted
Quality Assurance Specialist
Deloittehosur, tamil nadu, in India’s impact on the global economy has increased at an exponential rate and Deloitte presents an opportunity to unleash and realise your potential amongst cutting edge leaders, and organisations ...Show moreLast updated: 22 days ago
- Promoted
Reporting Specialist
Hogarth Studios Indiahosur, tamil nadu, in We are seeking a highly analytical and detail-oriented.Operations Reporting Specialist.In this critical role, you will be instrumental in transforming raw operational data into actionable insights,...Show moreLast updated: 7 days ago
- Promoted
AMS Verification Lead
ConfidentialBengaluru / Bangalore, India ADI combines analog, digital, and software technologies into solutions that help drive advancements in digitized factories, mobility, and digital healthcare, combat climate change, and reliably con...Show moreLast updated: 9 days ago
- Promoted
Physical Verification lead
ConfidentialBengaluru / Bangalore, India ADI combines analog, digital, and software technologies into solutions that help drive advancements in digitized factories, mobility, and digital healthcare, combat climate change, and reliably con...Show moreLast updated: 9 days ago
- Promoted
Performance Verification (SI70FT RM 3483)
ConfidentialBengaluru / Bangalore This involves defining and executing verification plans, developing testbenches, analyzing performance bottlenecks, and collaborating with other teams to optimize the design.The role often requires...Show moreLast updated: 9 days ago
- Promoted
Sr. Digital Verification Engineer
ConfidentialBengaluru / Bangalore, India ADI combines analog, digital, and software technologies into solutions that help drive advancements in digitized factories, mobility, and digital healthcare, combat climate change, and reliably con...Show moreLast updated: 9 days ago
- Promoted
AMS Verification Engineer
Mirafra TechnologiesBengaluru, Karnataka, India Good fundamentals in analog and mixed signal circuit concepts and topologies.Experience working with mixed signal verification environment, simulation, and regression tools such as Cadence Virutuos...Show moreLast updated: 30+ days ago
Sr. Verification Engineer
Synaptics Inc.Bangalore, KA, IN Synaptics is leading the charge in AI at the Edge, bringing AI closer to end users and transforming how we engage with intelligent connected devices, whether at home, at work, or on the move.As the...Show moreLast updated: 6 days ago
- Promoted
Performance Verification Engineer
ConfidentialBengaluru / Bangalore The focus of this role is to plan, build, and execute the verification of new and existing features for AMD s graphics processor IP, resulting in no bugs in the final design.You have a passion for ...Show moreLast updated: 25 days ago