RTL Design Verification Engineer

DesignerDesignerFull TimeRemoteTeam 11-50Since 2023Company Site LinkedIn

Location

Texas

Posted

17 days ago

Salary

Not specified

Bachelor Degree4 yrs expEnglishPerlPythonRuby

Job Description

• 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

Job 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