GPU Formal Design Verification
2 weeks ago
Description: As a Formal Design Verification Engineer, you will be responsible for developing formal constraints, checks, and cover properties to new and existing design blocks towards verifying sequential equivalence for clock gating logic & so, verifying design features using assertions and verifying Datapath equivalence of C and RTL models. You will diagnose formal failures and work closely with RTL designers to update formal setup or RTL code. GPU designs provide a wealth of technical challenges in memory hierarchy, parallel processing units, and complex mathematical units. 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. Job Responsibilities: Develop formal verification setup using System Verilog modules and Assertions Run formal verification checks, analyze the results, and debug any issues. Develop and enhance constraints, checks, and cover points to achieve verification quality. Verify GPU design blocks using formal verification approaches like sequential equivalence checking, property-based feature verification and Datapath verification using C models. Hands-on experience in developing formal based Datapath verification setups using RTL & C Models Hands-on experience in developing formal property-based feature verification setups In-depth expertise on proof depth and convergence analysis for formal setups Root cause formal failures to identify design or test setup issues. Analyze and deploy formal convergence techniques like abstraction, black boxing and design reductions. Work closely with cross-functional teams, including design, architecture, and software teams, to ensure that verification efforts are aligned with project goals and requirements. Participate in the development and improvement of verification methodologies, tools, and flows to increase efficiency and effectiveness of verification efforts. Adhere to project execution and planning approaches using Confluence, JIRA and relevant techniques. Create and maintain documentation for formal verification test plans, convergence reports, complexity analysis reports and results. Responsible in driving formal verification tasks & report to project verification leads as required. Job Qualifications: BSEE, Computer Engineering, or Computer Science bachelor’s degree and a minimum of 3+ years of experience o Masters or Ph.D. degree preferred Good understanding of CPU and/or GPU design architecture Strong experience or exposure to System Verilog (SV) and System Verilog Assertion (SVA) coding skills is required Experience in developing formal verification setups is a must Experience in developing constrained random testbenches is preferred Experience with formal verification tools such as VC Formal, Jasper Gold, or Questa Formal Experience working in a Linux environment Excellent communication skills and be able to work with cross-functional teams to execute verification plan. Job Details: Job Type: Contract Pay Rate: $100-$145 an hour. Location: San Jose, CA (Onsite) Benefits Package: Protingent offers competitive salaries, insurance plan options (HDHP plan or POS plan), education/certification reimbursement, pre-tax commuter benefits, Paid Time Off (PTO), and an administered 401k plan.
-
GPU Formal Design Verification
4 weeks ago
San Jose, United States Ursus Inc Full timeOverview JOB TITLE: GPU Formal Design Verification LOCATION: San Jose, CA OR Austin, TX DURATION: 6 months PAY RANGE: $50-$66/hr (depending on location) COMPANY: Our client is a global technology leader known for its innovative consumer electronics, mobile devices, and cutting-edge semiconductor solutions. Description As a Contract - Formal Design...
-
GPU Formal Design Verification
1 week ago
San Jose, CA, United States Ursus Inc Full timeJOB TITLE: GPU Formal Design Verification LOCATION: San Jose, CA OR Austin, TX DURATION: 6 months PAY RANGE: $50-$66/hr (depending on location) COMPANY: Our client is a global technology leader known for its innovative consumer electronics, mobile devices, and cutting-edge semiconductor solutions. Description: s a Contract - Formal Design Verification...
-
GPU Formal Design Verification
1 week ago
San Jose, CA, United States LeadStack Inc. Full timeLeadstack Inc. is an award-winning, one of the nation's fastest-growing, certified minority-owned (MBE) staffing services provider of contingent workforce. As a recognized industry leader in contingent workforce solutions and Certified as a Great Place to Work, we're proud to partner with some of the most admired Fortune 500 brands in the world. Job title:...
-
GPU Formal Design Verification
2 weeks ago
San Jose, CA, United States LeadStack Inc. Full timeLeadstack Inc. is an award-winning, one of the nation's fastest-growing, certified minority-owned (MBE) staffing services provider of contingent workforce. As a recognized industry leader in contingent workforce solutions and Certified as a Great Place to Work, we're proud to partner with some of the most admired Fortune 500 brands in the world. Job title:...
-
GPU Formal Design Verification
3 days ago
San Jose, CA, United States LeadStack Inc. Full timeLeadstack Inc. is an award-winning, one of the nation's fastest-growing, certified minority-owned (MBE) staffing services provider of contingent workforce. As a recognized industry leader in contingent workforce solutions and Certified as a Great Place to Work, we're proud to partner with some of the most admired Fortune 500 brands in the world. Job title:...
-
Formal Design Verification Engineer
1 week ago
San Jose, United States Mirafra Technologies Full timeAs a Contract - Formal Design Verification Engineer, you will be responsible for developing formal constraints, checks, and cover properties to new and existing design blocks towards verifying sequential equivalence for clock gating logic & so, verifying design features using assertions and verifying datapath equivalence of C and RTL models. You will...
-
Formal Design Verification Engineer
1 week ago
San Jose, CA, United States Mirafra Technologies Full timeAs a Contract - Formal Design Verification Engineer, you will be responsible for developing formal constraints, checks, and cover properties to new and existing design blocks towards verifying sequential equivalence for clock gating logic & so, verifying design features using assertions and verifying datapath equivalence of C and RTL models. You will...
-
Formal Design Verification Engineer
7 days ago
San Jose, CA, United States Mirafra Technologies Full timeAs a Contract - Formal Design Verification Engineer, you will be responsible for developing formal constraints, checks, and cover properties to new and existing design blocks towards verifying sequential equivalence for clock gating logic & so, verifying design features using assertions and verifying datapath equivalence of C and RTL models. You will...
-
GPU Design Verification Engineer
13 hours ago
San Diego, United States Qualcomm Full timeGeneral Summary Architects, designs, implements, verifies, and optimizes performance and power of GPU cores. Responsible for verification of Graphics IP, and performing pre- and post-silicon verification to verify correctness and ensure performance and power goals are met. Responsibilities * Owning and executing on key independent tasks towards program...
-
GPU Design Verification Engineer
7 days ago
San Diego, United States Apple Full time**Role Number:** 200588770-3543 **Summary** Do you love creating elegant solutions to highly complex challenges? As part of our Silicon Technologies group, you'll help design and manufacture our next-generation, high-performance, power-efficient processor, system-on-chip (SoC). You'll ensure Apple products and services can seamlessly and efficiently...
