Formal Verification Engineer (GPU)

Full Job Description

LeadStack 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 Verification Engineer (GPU)

Location: Austin TX or San Jose CA- Hybrid

Duration: 6 months

Direct Client

Description:

As a Formal Verification Engineer, you will be responsible for adding relevant constraints, assertions, and coverage points to new and existing blocks, verifying 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

" BSEE, Computer Engineering, or Computer Science and 3+ years of experience

" Masters or Ph.D degree preferred

" Good understanding of CPU and/or GPU design architecture

" Basic RTL and SystemVerilog skills can read and understand designs, testbenches, and SVA

" Experience with formal tools such as VC Formal, Jasper Gold, or Questa Formal

" Excellent communication skills and be able to work with cross-functional teams to execute verification plan

" Proficiency in scripting languages such as Python, Perl, or Tcl

" Strong capability to read high-level design specifications and RTL to create and execute formal verification plans.

If interested, please share your updated resume and the best time and number to connect over the phone. In case you are not available/interested, will appreciate if you can share it with your friends/network. Your referrals are appreciated!

To know more about current opportunities at LeadStack, please visit us at (url removed)

Should you have any questions, feel free to call me on (phone number removed) or send an email on