Condor Computing Corporation

RTL Design Verification Engineer

Condor Computing Corporation

full-time

Posted on:

Location Type: Remote

Location: Texas • United States

Visit company website

Explore more

✨ AI Apply
Apply

Tech Stack

PerlPythonRuby

About the role

  • 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

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.
  • 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
Applicant Tracking System Keywords

Tip: use these terms in your resume and cover letter to boost ATS matches.

Hard Skills & Tools
formal verificationRTL designscomputer architectureSystemVerilogUVMscripting languagesPythonRubyPerlevent-driven simulation
Soft Skills
written communicationverbal communicationcross-site executioncross-functional executioncreativityproblem-solvingcollaborationinnovationimpactful implementationorganizational skills
Certifications
Master's degreeBachelor's degree