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

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

RTL Design Verification Engineer

Key skills