Formal Verification Engineer About Solutions SoC Engineering

Join the Solutions SoC Engineering organization and help shape the future of silicon. We are building a world-class engineering organization focused on delivering cutting-edge, high-performance, and energy-efficient SoC solutions that power next-generation computing across diverse markets.

As a rapidly growing global team, we bring together expertise across architecture, design, verification, emulation, FPGA, software, and post-silicon validation to deliver first-time-right silicon. Our engineers solve some of the industry's most challenging engineering problems using advanced verification methodologies, automation, and AI-driven tools while maintaining the highest standards of quality and execution.

Our culture is built on technical excellence, ownership, collaboration, and continuous learning. We invest in our people, encourage innovation, and provide opportunities to influence engineering methodologies, contribute across the product lifecycle,



and grow alongside an organization that is defining the future of SoC engineering.

Role Overview

As a Formal Verification Engineer, you will apply state-of-the-art formal verification methodologies to complex IPs, subsystems, and SoCs. You will develop proof strategies, assertions, and scalable methodologies that improve design quality and accelerate verification closure.

Key Responsibilities

Develop and execute formal verification strategies for IP, subsystem, and SoC designs.
Develop SystemVerilog Assertions (SVA) and formal properties.
Apply property checking, protocol verification, equivalence checking, and formal analysis.
Own verification deliverables from planning through verification closure while ensuring quality, schedule, and execution commitments are met.
Architect, develop, and maintain reusable verification environments, verification IPs, methodologies, and automation.
Develop verification plans, test methodologies, test cases, and coverage clos

📌 Senior SoC Formal verification Engineer (Bengaluru)
🏢 ARM
📍 Bengaluru