Senior Staff Engineer, GPU Design Verification (Formal Verification)
Core
Shape block and subsystem level formal verification strategy and execution for Samsung's next-generation mobile GPU, ensuring functional correctness, power gating mechanisms, and architectural intent.
Role type
Senior Staff IC GPU Design Verification Engineer (Formal Verification)
Builds
Next-generation mobile GPUs (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 methodologies (property verification, model checking, register verification, connectivity checking), System Verilog and SVA, Python/Perl/C/C++ scripting, computer architecture and graphics pipelines, formal verification EDA tools, debugging and root-cause analysis
Preferred skills
Constrained random verification (UVM), memory subsystem or coherent interconnects knowledge, low-power design techniques (UPF), developing new formal verification flows or tooling
Technologies
System Verilog, SVA, Python, Perl, C/C++, JIRA, Confluence, Formal Verification EDA tools
Responsibilities
Define verification goals, properties, coverage objectives, and sign-off criteria for critical GPU features; architect and implement formal verification environments; analyze formal failures and trace counterexamples; mentor engineers and foster a culture of ownership; create and maintain documentation for test plans and convergence reports
Seniority
Senior Staff, hands-on IC with mentorship responsibilities
