Senior Formal Hardware Verification Engineer

2 weeks ago


Austin, United States Correct Designs Full time

Senior Formal Verification Engineer

Looking for new challenges? Would you like the variety of a contract position along with long term stability and benefits? Correct Designs can give it all to you.

Correct Designs is currently seeking talented Formal Verification Engineers with experience working with a formal verification tool: Cadence Jasper, Mentor Quest FV or Synopsys VC Formal (Hector). Correct Designs has opportunities in a wide range of products including projects in AI and Machine Learning, processor fabric subsystems, SOC/ASIC products for vision processing, aerospace FPGAs, medical electronics, RISC-V based SoC, ARM based peripherals, and mixed signal DSPs. Successful candidates for this role will support verification of advanced CPU/GPU based SOCs.

Correct Designs is NOT the typical contracting, staff augmentation firm. Our engineers have respected long term roles with generous hourly rates in excellent team environments. A typical contract may last 3 years, although we have shorter and even longer term work available. We are well respected in the Design Verification community with clients always seeking new CDI engineers. If you need a few months off between contracts you can take that break and know there will be plenty of work available when you return. If you like the stability of always working, simply move to the next contract with little time off. Correct Designs does provide health care and retirement plan benefits.

We are based in Austin, Texas with clients throughout the US. This position is located in Austin, TX. We would prefer someone located in Austin, TX, but we are open to remote work.

Whether you are an experienced veteran looking for new challenges, or a talented engineer seeking to broaden your experience, we can offer exciting options for your career.

RESPONSIBILITIES:

  • Verify complex design blocks formal verification methods
  • Develop and execute pre-silicon verification test plans
  • Develop directed and random verification tests to validate block and IP functionality
  • Develop verification components and tools
  • Develop verification functional coverage using industry standard coverage analysis tools/methods
  • Debug regression fails
  • Replicate functional issues found in external environments or post-silicon; review/enhance tests to verify bug fixes

REQUIRED SKILLS AND EXPERIENCE:

  • 8 or more years of proven verification experience in a hardware development setting
  • Strong background in Formal verification methodologies
  • Strong debug skills and experience with debug tools such as DVE/Verdi
  • Proficiency in Object Oriented programming, computer architecture and data structures
  • Strong analytical/problem solving skills and pronounced attention to details
  • Strong interpersonal and communication skills
  • Must be comfortable working across geographies

DESIRED SKILLS:

  • Experience architecting/developing verification environments and infrastructure, including scripting using Perl, Ruby, Make, or similar
  • Experience in other related domains such as formal verification, RTL design, or software development

EDUCATION:

Bachelor or Master's in Electrical Engineering, Computer Engineering, or Computer Science



  • Austin, United States Correct Designs Full time

    Senior Formal Verification Engineer Looking for new challenges? Would you like the variety of a contract position along with long term stability and benefits? Correct Designs can give it all to you. Correct Designs is currently seeking talented Formal Verification Engineers with experience working with a formal verification tool: Cadence Jasper, Mentor Quest...


  • Austin, United States Tenstorrent Inc Full time

    This role is hybrid,based out of Austin, TX or Santa Clara, CA. CPU Formal Verification Engineer will be responsible for applying various formal verification techniques to source bugs in specifications and RTL implementation for a high performance data center class CPU Responsibilities Drive formal verification for multiple CPU blocks by putting together...


  • Austin, United States Rivos Full time

    Positions are open for full-time and co-op/internship roles in the areas of formal verification of CPU, Fabric, and Accelerator design Responsibilities As a Formal Verification Engineer, you will be involved in the formal verification of the architecture and microarchitecture of a high-performance RISC-V core, a coherent fabric, and an accelerator design. ...


  • Austin, United States Core Asic Full time

    Responsibilities: Design and implement verification plans. Develop and execute test cases to ensure the functionality, performance, and reliability of the chip design. Collaborate with the hardware design team to identify and resolve issues. Working in a UVM environment. Use of Assertions, random testing, functional and code-based coverage. Analyze and...


  • Austin, United States NVIDIA Full time

    We are currently seeking Verification engineers with strong verification IP development skills to work in Nvidias CPU team. This position offers the opportunity to have real impact in a dynamic, technology-focused company impacting product lines ranging from consumer graphics to self-driving cars and the growing field of artificial intelligence. We have...


  • Austin, United States Tessolve Full time

    Job Title: Senior Design Verification Engineer Location: Austin, Texas About Company : Tessolve Semiconductor is a leading provider of semiconductor engineering solutions, offering a comprehensive suite of services to semiconductor companies worldwide. Our mission is to deliver innovative solutions that enable our clients to bring their products to market...


  • Austin, United States Tessolve Full time

    Job Title: Senior Design Verification EngineerLocation: Austin, TexasAbout Company : Tessolve Semiconductor is a leading provider of semiconductor engineering solutions, offering a comprehensive suite of services to semiconductor companies worldwide. Our mission is to deliver innovative solutions that enable our clients to bring their products to market...


  • Austin, United States Tessolve Full time

    Job Title: Senior Design Verification EngineerLocation: Austin, TexasAbout Company : Tessolve Semiconductor is a leading provider of semiconductor engineering solutions, offering a comprehensive suite of services to semiconductor companies worldwide. Our mission is to deliver innovative solutions that enable our clients to bring their products to market...


  • Austin, United States NVIDIA Full time

    We are currently seeking Verification engineers with strong verification IP development skills to work in Nvidia’s CPU team. This position offers the opportunity to have real impact in a dynamic, technology-focused company impacting product lines ranging from consumer graphics to self-driving cars and the growing field of artificial intelligence. We have...


  • Austin, United States Fabric of Truth, Inc Full time

    Fabric believes hardware determines the boundaries of humanity's collective creativity and imagination. We are building hardware for the next generation of cryptography because we believe in creating a more trustworthy world with secure, private computation at its core. Just as encryption and decryption enabled the Internet as we know it, this new paradigm...


  • Austin, United States Fabric of Truth, Inc Full time

    Fabric believes hardware determines the boundaries of humanity's collective creativity and imagination. We are building hardware for the next generation of cryptography because we believe in creating a more trustworthy world with secure, private computation at its core. Just as encryption and decryption enabled the Internet as we know it, this new paradigm...


  • Austin, United States Correct Designs Full time

    Design Verification Engineer Looking for new challenges? Would you like the variety of a contract position along with long term stability and benefits? Correct Designs can give it all to you. Correct Designs is currently seeking talented Verification Engineers with prior System Verilog UVM experience to work with our major clients both in Austin, TX, and...


  • Austin, United States Fabric of Truth, Inc Full time

    Fabric believes hardware determines the boundaries of humanity's collective creativity and imagination. We are building hardware for the next generation of cryptography because we believe in creating a more trustworthy world with secure, private computation at its core. Just as encryption and decryption enabled the Internet as we know it, this new paradigm...


  • Austin, United States arm limited Full time

    The Role Job Overview Our Systems Development team designs subsystems for various application segments, using the latest IP products from Arm and other vendors. We are looking for a creative and hardworking SoC Verification Engineer to join the team and help develop these systems. As a SoC Verification Engineer you will contribute to the...


  • Austin, United States ARM Full time

    Job DescriptionJob OverviewOur Systems Development team designs subsystems for various application segments, using the latest IP products from Arm and other vendors. We are looking for a creative and hardworking SoC Verification Engineer to join the team and help develop these systems.As a SoC Verification Engineer you will contribute to the specification,...


  • Austin, United States Fabric of Truth, Inc Full time

    Fabric believes hardware determines the boundaries of humanity's collective creativity and imagination. We are building hardware for the next generation of cryptography because we believe in creating a more trustworthy world with secure, private computation at its core. Just as encryption and decryption enabled the Internet as we know it, this new paradigm...


  • Austin, United States Insight Global Full time

    Insight Global is hiring a Principal Verification Engineer for a leading Semiconductor company's microcontrollers and microprocessors digital IP team. The digital IP team develops best in class digital IPs for Automotive business and Advanced microcontrollers which offer sensor and processing technology that drives all aspects of the secure connected cars of...

  • Hardware Engineer

    3 weeks ago


    Austin, United States META Full time

    Meta is seeking a versatile Hardware Engineer to join our Compute Hardware team. Our mission is backed by a massive hardware infrastructure. Our computational challenges are big, complex, and consistently evolving. Your work has the potential to shape the compute hardware going into our cutting-edge data centers affecting billions of users. Hardware Engineer...


  • Austin, United States Correct Designs Full time

    Design Verification Engineer Looking for new challenges? Would you like the variety of a contract position along with long term stability and benefits? Correct Designs can give it all to you. Correct Designs is currently seeking talented Verification Engineers with prior System Verilog UVM experience to work with our major clients both in Austin, TX, and...

  • Verification Engineer

    3 weeks ago


    Austin, United States Cosmik Systems LLC Full time

    Verify complex design blocks using equally complex SV/UVM verification environments Develop and execute pre-silicon verification test plans Develop directed and random verification tests to validate block and IP functionality Develop verification components and tools Develop verification functional coverage using industry standard coverage analysis...