SOC Formal Verification Engineer, HBM

Job Title

SOC Formal Verification Engineer, HBM

Role Summary

Join a verification team responsible for proving functional correctness of complex SoC and IP blocks using formal verification methods. The role focuses on improving design quality, accelerating bug discovery, and reducing silicon risk through assertion-based and property-driven verification.

Experience Level

Mid-level — position expects early career to mid-career engineers; typical candidates have some hands-on academic, internship, or professional verification experience.

Responsibilities

Primary duties focus on block- and subsystem-level formal verification, debugging, and collaboration with design and simulation teams.

• Debug and analyze formal counterexamples to determine root causes in RTL designs.
• Collaborate with RTL designers, architects, and simulation verification engineers to resolve bugs and clarify design intent.
• Support block-level and subsystem-level formal verification with opportunities to work on SoC-level applications.
• Develop and apply scalable, reusable formal verification environments and best practices.
• Document properties, assumptions, coverage metrics, and verification results.
• Participate in design and verification reviews, emphasizing correctness throughout the development lifecycle.

Requirements

Must-have technical skills and abilities, followed by preferred (nice-to-have) skills.

• Understanding of digital design fundamentals: finite state machines, pipelines, handshakes, clocking, and resets.
• Familiarity with RTL design using Verilog or SystemVerilog.
• Basic knowledge of formal verification concepts: assertions, properties, proofs, and coverage.
• Strong analytical and problem-solving skills; ability to work effectively in cross-functional teams.

• Experience writing or using SystemVerilog Assertions (SVA) from coursework, projects, or internships.
• Exposure to formal tools such as JasperGold, VC Formal, Questa Formal, or similar.
• Familiarity with simulation-based verification and how formal complements it.
• Knowledge of low-power design flows (UPF/CPF) and scripting with Python, TCL, or shell.
• 1–2 years of related industry experience.

Education Requirements

Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field, or equivalent practical experience. The posting also references coursework and internships as relevant experience.

About the Company

Company: Micron Technology

Headquarters: Boise, Idaho, USA

Micron Technology is a global leader in memory and storage solutions, dedicated to transforming how the world uses information. The company offers a diverse portfolio of high-performance DRAM, NAND, and NOR memory products under the Micron and Crucial brands. With a commitment to customer focus and technological innovation, Micron drives advancements in artificial intelligence, 5G, and other data-centric applications, empowering users to learn, communicate, and progress.