Logo
Condor Computing Corporation

Formal RTL Design Verification Engineer

Condor Computing Corporation, Austin

Save Job

Join to apply for the Formal RTL Design Verification Engineer role at Condor Computing Corporation

Join to apply for the Formal RTL Design Verification Engineer role at Condor Computing Corporation

Get AI-powered advice on this job and more exclusive features.

Condor Computing is a brand-new member of the RISC-V revolution. Condor is aiming to fly high by building the industry's highest performance licensable RISC-V core. Our team of highly experienced CPU designers will create a new benchmark for power efficiency in high performance open-source computing.
Formal Verification Engineer
As a Formal Verification Engineer at Condor, you will be responsible for ensuring the correctness and reliability of our world-class processor designs. Your role will involve crafting innovative solutions to verify complex design micro-architectures using cutting-edge technologies. Additionally, you will collaborate closely with design teams to enhance micro-architecture and contribute to the development of reusable and optimized verification models.
As a formal verification engineer with Condor, you will

  • Work on verification of Condor's world-class processor designs
  • Craft novel, creative, and best-in-class solutions for verifying complex design micro-architectures with the best technologies available
  • Develop a comprehensive formal verification test plan
  • Develop functional properties for the design, find design bugs, and work closely with design teams to help improve the micro-architecture
  • Develop re-usable and optimized verification models and a verification code base
  • Architect correct-by-construction design methodologies to enhance formal verification efficiency and productivity
Here are the minimum requirements:
  • Master' Bachelor, or above degree in electronic/electrical engineering or computer science
  • 4+ years of verification experience, with at least 2 years utilizing formal verification methods
  • Solid understanding of RTL designs and computer architecture
  • Proficiency in scripting languages such as Python, Ruby, or Perl
  • Demonstrated track record of implementing new ideas that positively impact the company
These would be nice to have but are not required:
  • Industry experience developing test benches and verification components from scratch using SystemVerilog and UVM
  • Deep understanding of event-driven simulator-based modeling techniques
  • Familiarity with low-power implementation (UPF)
  • Strong written and verbal communication skills
  • Effective cross-site and cross-functional execution skill
Condor Computing is an equal opportunity and affirmative action employer. It ensures equal employment opportunity without discrimination or harassment based on race, color, religion, sex (including pregnancy, childbirth, or related medical conditions), sexual orientation, gender identity or expression, age, disability, national origin, marital or domestic/civil partnership status, genetic information, citizenship status, veteran status, or any other characteristic protected by law.
We look forward to reviewing your application!

Seniority level

  • Seniority level

    Mid-Senior level

Employment type

  • Employment type

    Full-time

Job function

  • Job function

    Engineering and Information Technology

  • Industries

    Semiconductor Manufacturing

Referrals increase your chances of interviewing at Condor Computing Corporation by 2x

Sign in to set job alerts for “Design Verification Engineer” roles.

Austin, TX $150,000.00-$260,000.00 3 weeks ago

Austin, TX $150,000.00-$250,000.00 2 weeks ago

CPU Core Feature Verification and Debug Engineer

Austin, TX $100,000.00-$500,000.00 1 week ago

We’re unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI.

#J-18808-Ljbffr