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--, Redwood City , GPU Formal Verification Engineer, Engineering , San Jose, California