Staff GPU Design Verification Engineer – Formal Verification
Core
Staff GPU Design Verification Engineer executing block and subsystem level formal verification for Samsung's next-generation mobile GPU to ensure functional correctness, power gating mechanisms, and alignment with architectural intent.
Role type
Staff individual contributor formal verification engineer
Builds
Next-generation mobile GPU (Xclipse) with ray tracing technology for Samsung Galaxy smartphones
Domain
Semiconductor / GPU Design / Formal Verification
Deliverable
production ML models | product features
Required skills
Formal verification (model checking, property verification, data path checking, register verification, connectivity checking, coverage analysis), SystemVerilog, SystemVerilog Assertions (SVA), Python, Perl, C/C++, Computer architecture, Graphics pipelines, Debugging, Analytical problem solving
Preferred skills
Memory subsystems, Coherent interconnects, Constrained random verification (UVM), Low-power design techniques (UPF), Formal verification flows/tooling development
Technologies
Industry-standard formal verification EDA tools, Confluence, JIRA
Responsibilities
Define verification goals, properties, coverage objectives, and sign-off criteria for critical GPU features; Architect and implement formal verification environments with assertions and formal models; Apply formal techniques to exhaustively verify corner cases and state-space behaviors; Analyze formal failures and trace counterexamples for root-cause resolution; Apply specific formal techniques (proof depth, bug hunting, bounded proof, failure triaging, convergence analysis) to achieve verification closure; Exercise independent judgment to break down complex verification problems; Maintain documentation including test plans and convergence reports.
Seniority
Staff, independent judgment with minimal guidance
