Condor Computing Corporation
Formal RTL Design Verification Engineer
Condor Computing Corporation, Austin, Texas, us, 78716
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
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