Positions are open for full-time and Co-op/internship in the areas of CPU and SOC verification from unit level to chip level as well as all aspects of verification by applying formal verification methodology to functional, microarchitecture, and performance features.

Responsibilities

• Working with RTL design engineers on identifying the microarchitecture features for formal micro-architecture specification. 
• Developing a comprehensive formal verification test plan. 
• Proving properties of the design, finding design bugs, and working closely with design teams to help improve the micro-architecture. 
• Crafting novel and creative solutions for verifying complex design micro-architectures. 
• Developing and implementing re-usable and optimized formal models and testbenches. 
• Architecting correct-by-construction design methodologies for improved formal verification efficiency and productivity.

• Interest in learning and becoming an expert in the VLSI, and digital logic design and verification techniques.
• Detail oriented mindset and desire to overcome challenges is required.
• Formal Method or Formal Verification technologies and abstraction techniques experience is a plus.
• Knowledge in interpreting hardware specifications using assertion-based languages such as SVA.
• Experience in using formal tools and models.
• Proficiency in any scripting language with excellent debugging skills.
• Passionate about developing innovative formal verification solutions.
• Excellent skills in problem solving, written and verbal communication, excellent organization skills, and highly self-motivated.
• Ability to work well in a team and be productive under aggressive schedules.

Education and Experience

PhD, Master’s Degree or Bachelor’s Degree in technical subject area.