Formal Verification Engineer
Accenture
7 - 10 years
Bengaluru
Posted: 15/11/2025
Job Description
Project Role Description : Ensure design correctness using mathematical methods like model checking and equivalence checking, without relying on simulation. Detect corner-case bugs early in the design cycle to improve quality and reduce verification time.
Must have skills : SoC Verification
Good to have skills : NA
Minimum 5 year(s) of experience is required
Educational Qualification : 15 years full time education
Summary We are seeking experienced Design Verification (DV) Engineers to join our team for a 10-month project. This is an individual contributor role requiring deep expertise in CPU/CPU-based SoC verification, with a focus on domains such as CPU/Cache Coherency, PCIe, SoC DV, NoC/NIC (Interconnects), and DDR/HBM. The ideal candidate will be highly skilled in System Verilog, UVM, and possess strong debugging and test planning abilities. You will collaborate with architects, logic designers, and other team members to deliver high-quality, robust verification solutions. Roles & 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. Professional & Technical Skills • 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. • Expertise in one or more of the following domains: • ARM v8/v9, RISC-V, x86 architectures • Memory architecture (DRAM, Cache, MMU), GIC, SoC debug architecture • Cache coherent architectures • PCIe OSCI layer and its functionality • PCIe PHY, bring-up, and training • SoC DV, bus interconnects Proficient in System Verilog, UVM/OVM, object-oriented programming/C++, and Python scripting. Strong debugging skills, with the ability to identify and resolve issues efficiently. Previous scripting experience is desirable. Additional Information • Experience Required: 7-10 years in design verification or related domains. • Number of Positions: 3 • Tentative Duration: 10 months • Location: Flexible/Remote options may be available depending on project requirements. • This is an individual contributor role; candidates must demonstrate the ability to work independently and collaboratively.15 years full time education
About Accenture
Accenture is a leading global professional services company that helps the world’s leading businesses, governments and other organizations build their digital core, optimize their operations, accelerate revenue growth and enhance citizen services—creating tangible value at speed and scale. We are a talent- and innovation-led company with approximately 791,000 people serving clients in more than 120 countries. Technology is at the core of change today, and we are one of the world’s leaders in helping drive that change, with strong ecosystem relationships. We combine our strength in technology and leadership in cloud, data and AI with unmatched industry experience, functional expertise and global delivery capability. Our broad range of services, solutions and assets across Strategy & Consulting, Technology, Operations, Industry X and Song, together with our culture of shared success and commitment to creating 360° value, enable us to help our clients reinvent and build trusted, lasting relationships. We measure our success by the 360° value we create for our clients, each other, our shareholders, partners and communities.Visit us at www.accenture.com
Equal Employment Opportunity Statement
We believe that no one should be discriminated against because of their differences. All employment decisions shall be made without regard to age, race, creed, color, religion, sex, national origin, ancestry, disability status, military veteran status, sexual orientation, gender identity or expression, genetic information, marital status, citizenship status or any other basis as protected by applicable law. Our rich diversity makes us more innovative, more competitive, and more creative, which helps us better serve our clients and our communities.
About Company
Accenture is a global professional services company specializing in consulting, technology, and outsourcing services. Headquartered in Dublin, Ireland, Accenture provides a wide range of services in strategy, digital, technology, operations, and consulting. It helps organizations improve their performance and create sustainable value by leveraging technology and industry expertise. Accenture works across various sectors, including financial services, healthcare, telecommunications, energy, and more. Known for its deep focus on innovation, Accenture partners with leading technology companies to drive digital transformation and help clients navigate complex challenges in an increasingly digital world.
Services you might be interested in
Improve Your Resume Today
Boost your chances with professional resume services!
Get expert-reviewed, ATS-optimized resumes tailored for your experience level. Start your journey now.