GPU Formal Verification Engineer
Company: Samsung Electronics Per--
Location: San Jose
Posted on: November 18, 2024
Job Description:
GPU Formal Verification Engineer Apply remote type: Hybrid
locations: 3900 N Capital of Texas Hwy, Austin, TX, USA; 3655 N 1st
St, San Jose, CA, USA time type: Full time posted on: Posted Today
time left to apply: End Date: December 31, 2024 (30+ days left to
apply) job requisition id: R97508 Position Summary Samsung, a world
leader in advanced semiconductor technology, is founded on a simple
philosophy - the endless pursuit of excellence will create a better
world for all. At Samsung Austin Research and Development Center
(SARC) and Advanced Computing Lab (ACL), we are building a center
of excellence for Intellectual Property (IP) that is applied to
high-performance computing devices (mobile, automotive, and other
custom market segments) consumed by millions of people around the
world. Come build with us! Role and Responsibilities As a GPU
Formal Verification Engineer, you will drive the verification
efforts of Samsung's advanced GPU design to deliver market-leading
standards of quality and reliability. This is a challenging and
rewarding position where you will learn cutting-edge design and
verification techniques from an exceptionally talented team, and
where your contributions will make a visible impact to the end
product.
- You will be responsible for adding relevant constraints,
assertions, and cover properties to new and existing blocks.
- You will verify various sequential equivalence scenarios such
as clock gating, and verifying datapath equivalence of C and RTL
models.
- You will diagnose formal failures and work closely with RTL
designers to update formal constraints or RTL code in order to fix
the failures. Skills and Qualifications
- 6+ years of experience with a Bachelor's Degree in Computer
Science/Engineering, or 4+ years of experience with a Master's
Degree, or 2+ years of experience with a Ph.D.
- Good understanding of CPU and/or GPU design architecture.
- Basic RTL and SystemVerilog skills - can read and understand
designs and test benches.
- Thorough understanding of SystemVerilog assertions.
- Experience with formal tools such as VC Formal, Jasper Gold, or
Questa Formal (required).
- Experience working in a Linux environment.
- Excellent communication skills and be able to work with
cross-functional teams to execute verification plan. Preferred
candidate will possess the following:
- Deep understanding of CPU and/or GPU design.
- Proficiency in scripting languages such as Python, Perl, or
Tcl.
- Strong capability to read high-level design specifications and
RTL to create and execute verification plans. Our Team The GPU
Design Verification team at SARC/ACL owns test plan coverage for
Samsung's mobile GPU through three levels: Graphic Code, Subsystem
Verification, and Formal Verification. As a geographically
dispersed team, we collaborate and interact with other internal
teams to ensure GPU architectural designs and modules within the
GPU work well across the board. Here you are part of a diverse
global task force with a cross-functional scope, focusing on
collaboration and growth to scale quickly with the financial
backing of a company leading globally in innovation. Being part of
a unique growing team means you have limitless room to explore,
innovate, and grow by wearing different hats. You will experience
multiple aspects of the development cycle and see your work in an
end-user product. Learning always happens and you are encouraged to
think outside the box to turn ideas into reality. Pay Transparency
At Samsung - SARC/ACL, base pay is one part of our total
compensation package and is determined within a range. This
provides the opportunity to progress as you grow and develop within
a role. The base pay range for this role is between $144,345.00 and
$257,336.00. Your actual base pay will depend on variables that may
include your education, skills, qualifications, experience, and
work location. Samsung employees have access to benefits including:
medical, dental, vision, life insurance, 401(k), free onsite lunch,
employee purchase program, tuition assistance (after 6 months),
paid time off, student loan program, wellness incentives, and many
more. In addition, regular full-time employees (salaried or hourly)
are eligible for MBO bonus compensation, based on company,
division, and individual performance. Additionally, this role might
be eligible to participate in long term incentive plan and
relocation. U.S. Export Control This position requires the ability
to access information subject to U.S. export control restrictions.
Applicants must have the ability to access export-controlled
information or be eligible to receive a government authorization to
access export-controlled information. Trade Secrets By submitting
an application, you [applicant] agree[s] not to disclose to
Samsung, or induce Samsung to use, any confidential or proprietary
information (including trade secrets) belonging to any current or
previous employer or other person or entity. #SARC #ACL #Hybrid
Equal Employment Opportunity: Samsung Electronics America, Inc. and
its subsidiaries are committed to employing a diverse workforce,
and provide Equal Employment Opportunity for all individuals
regardless of race, color, religion, gender, age, national origin,
marital status, sexual orientation, gender identity, status as a
protected veteran, genetic information, status as a qualified
individual with a disability, or any other characteristic protected
by law.
#J-18808-Ljbffr
Keywords: Samsung Electronics Per--, Sacramento , GPU Formal Verification Engineer, Engineering , San Jose, California
Didn't find what you're looking for? Search again!
Loading more jobs...