CPU Formal Verification (Multiple Positions)

Roles and Responsibilities :

Work with design team to understand design intent and bring up verification plans and schedules with an eye towards the end-to-end formalization of the refinement from architecture to micro-architecture

Define formal verification architecture, develop test plans and build end-to-end formal sign-off environments for Qualcomm CPU components

Engage in full-spectrum deployment of model-checking technology to hardware designs including property verification, math proofs, architectural modeling and validation amongst other cutting-edge application areas

To be successful in this position you will need :

BA / BS degree in CS / EE with 8+ years of practical experience in application of formal methods in hardware or software

Strong model checking or theorem proving background / experience in verification of complex systems

Experience in writing assertions and associated modeling code in Hardware Description Languages or in proving correctness of architectural specifications using formal methods

Working familiarity with model checkers like Jaspergold and VC-Formal or theorem-proving tools such as ACL2 and HOL

The ideal candidate will have the following experience :

MS / PhD degree in CS / EE; 4+ years of practical experience

Strong foundation in formal methods and in their application to hardware specifications and / or implementations

Domain knowledge in one or more of these areas : Microprocessor architecture and micro-architecture, instruction set architecture, floating-point math, memory consistency, memory coherency, security architectures

Strong software engineering skills with proven ability in automation and proficiency in at least one programming language (C++, Python, TCL etc.)

Minimum Qualifications :

Bachelor's degree in Computer Science, Electrical / Electronics Engineering, Engineering, or related field and 4+ years of Hardware Engineering or related work experience.

OR

Master's degree in Computer Science, Electrical / Electronics Engineering, Engineering, or related field and 3+ years of Hardware Engineering or related work experience.

OR

PhD in Computer Science, Electrical / Electronics Engineering, Engineering, or related field and 2+ years of Hardware Engineering or related work experience.

Skills Required

Sta, Synthesis, primetime, C, C++, Cpu, Timing Analysis, Uvm, Physical Design, hardware engineering , Software Engineering, Python, Tcl