This job offer is not available in your country.

Verification Specialist

ACL Digitalbangalore, karnataka, in

30+ days ago

Job description

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, 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

Interested,please drop your updated CV to janagaradha.n@acldigital.com

Create a job alert for this search

Verification Specialist • bangalore, karnataka, in

Related jobs

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: 8 days ago

Promoted

SOC Design Verification Lead

L&T Technology ServicesBengaluru, Karnataka, India

L&T Technologies is looking to hire for SOC DV Lead role.Develop functional tests based on a verification test plan.Experience in Co simulation (RTL + Spice). Good understanding on Analog blocks.Exp...Show moreLast updated: 30+ days ago

Promoted

System Verification and Validation-Avionics

ALTEN IndiaBengaluru, Karnataka, India

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

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

Analog / Mixed-Signal Functional Verification

MediaTekBangalore, Bangalore (division), India

Work on Analog / Mixed-Signal Functional Verification for Analog / Mixed-Signal IPs, such as SERDES, Sensors and beyond.The candidate will work with digital design, analog design, analog behavioral mod...Show moreLast updated: 2 days ago

AMS Verification Engineer

ScaleneWorksBengaluru, Karnataka, India

Quick Apply

We are looking for a highly skilled and experienced Lead Engineer to join our team and contribute to the verification of mixes Signal. The ideal candidate should have a deep understanding of the Cad...Show moreLast updated: 30+ days ago

Promoted

RMS Technical Expert - OSAT

Tata ElectronicsKolar, Karnataka, India

The RMS Technical Expert will be responsible for the design, deployment, and optimization of Reliability Monitoring Systems in an OSAT (Outsourced Semiconductor Assembly & Test) manufacturing envir...Show moreLast updated: 8 days ago

Promoted

Senior Quality Assurance Automation Engineer

Andor TechBangalore Rural, Karnataka, India

Location : Work From Office (5 Days).We are seeking a skilled QA / Automation Engineer with hands-on experience in API, Web, Desktop, and Mobile application testing. The candidate should have strong au...Show moreLast updated: 8 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: 11 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

Verification Specialist

ACL DigitalBengaluru, Karnataka, India

Senior Formal Verification Engineer (CPU).Owns property-based formal verification of the CPU core, pipeline stages, and subcomponents with exhaustive proof goals. Lead formal planning and methodolog...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

Associate Site Report Specialist

IQVIA IndiaHosur, Tamil Nadu, India

Project role : Associate Site Report Specialist Work experiences : 4 to 6 years.Work location : Homebased Must have skills : CRA, Clinical Research Associate, Onsite Monitoring Job overview : Revi...Show moreLast updated: 30+ days ago

Promoted

Medical Insurance Verification / Prior Authorisation Specialist

CrammazeHosur, Tamil Nadu, India

Experience Required : Minimum 2 years Industry : Healthcare / Sleep Medicine / DME We are a high-volume Sleep Specialist office seeking a reliable, organized, and experienced Medical Insurance Veri...Show moreLast updated: 26 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

Promoted

Security Technology Lifecycle Analyst

HR PLACEMENT CONSULTANTS (HRPC)Bangalore Rural, Karnataka, India

Position - Analyst - Security Technology Lifecycle Analyst.Job Type - Full-time (Third party payroll •).The Security Technology Lifecycle Analyst plays a critical role in supporting the Corporate Se...Show moreLast updated: 20 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: 7 days ago