Formal Verification Engineer at Accenture

Bengaluru, Karnataka, India

Apply Now

Not SpecifiedCompensation

Mid-level (3 to 4 years), Senior (5 to 8 years)Experience Level

Full TimeJob Type

UnknownVisa

Semiconductors, TechnologyIndustries

Requirements

Minimum 5 years of experience (7-10 years preferred) in design verification or related domains, with deep expertise in CPU/CPU-based SoC verification
Focus on domains such as CPU/Cache Coherency, PCIe, SoC DV, NoC/NIC (Interconnects), DDR/HBM, ARM v8/v9, RISC-V, x86 architectures, Memory architecture (DRAM, Cache, MMU), GIC, SoC debug architecture, Cache coherent architectures, PCIe OSCI layer, PCIe PHY bring-up and training, SoC DV, bus interconnects
Solid understanding of computer architecture, SoC architecture, micro-architecture, logic design, and finite state machines (FSMs)
Strong functional verification experience, including test planning, test bench architecture, and development of test/coverage models and assertions
Proficiency in System Verilog, UVM/OVM, object-oriented programming/C++, and Python scripting
Strong debugging skills to identify and resolve issues efficiently
Previous scripting experience desirable
15 years full-time education
Ability to work independently and collaboratively as an individual contributor

Responsibilities

Act as an individual contributor, performing assigned DV tasks independently
Collaborate effectively with other team members to execute DV activities
Understand architecture and micro-architecture specifications
Work closely with Architects and Logic Designers to align on verification goals
Develop unit-level and/or subsystem-level test plans, coverage plans, and checker plans aimed at achieving zero-defect quality post-silicon
Design and implement scalable test benches in System Verilog and UVM
Develop tests, functional coverage models, and System Verilog assertions
Root cause regression failures by debugging tests/sequences, RTL, and C++ models
Maintain high regression efficiency through test/coverage grading, compute farm, and disk utilization optimization
Drive code and functional coverage closure
Support debugging of unit RTL/checkers at higher integration levels, such as subsystem or top-level

Skills

Formal Verification

Model Checking

Equivalence Checking

SoC Verification

System Verilog

UVM

CPU Verification

Cache Coherency

PCIe

NoC

NIC

DDR

HBM

Assertions

Test Planning

Debugging

Accenture

Global professional services for digital transformation

About Accenture

Accenture provides a wide range of professional services, including strategy and consulting, technology, and operations, to help organizations improve their performance. Their services assist clients in navigating digital transformation, enhancing operational efficiency, and achieving sustainable growth. Accenture's offerings include cloud migration, cybersecurity, artificial intelligence, and data analytics, which are tailored to meet the needs of various industries such as financial services, healthcare, and retail. What sets Accenture apart from its competitors is its extensive industry knowledge and ability to deliver comprehensive solutions that address both immediate challenges and long-term goals. The company's aim is to support clients in reducing their environmental impact while driving innovation and growth.

Dublin, IrelandHeadquarters

1989Year Founded

$8.5MTotal Funding

IPOCompany Stage

Consulting, Enterprise Software, CybersecurityIndustries

10,001+Employees

Risks

Rapid AI advancements may outpace Accenture's current capabilities, risking competitive disadvantages.

Integration challenges from multiple acquisitions could affect Accenture's operational efficiency.

The rise of AI-driven startups may disrupt Accenture's market share in customer service solutions.

Differentiation

Accenture's acquisitions enhance its capabilities in digital twin technology for financial services.

The company is expanding its expertise in net-zero infrastructure through strategic acquisitions.

Accenture's focus on software-defined vehicles positions it as a leader in automotive innovation.

Upsides

Accenture's investment in EMTECH supports central bank modernization amid digital currency evolution.

The acquisition of Award Solutions boosts Accenture's presence in the growing 5G and IoT markets.

Accenture's strategic acquisitions align with high-growth markets like digital twins and net-zero projects.

Land your dream remote job 3x faster with AI

Try Jobo Free