Sr. Staff Formal Verification Engineer
Job Summary
Job Description
Cirrus Logic is seeking a Sr. Staff Formal Verification Engineer to join their team in Austin, TX. The engineer will be responsible for developing and enhancing formal verification methodologies, mentoring engineers, and supporting the verification team. This role involves creating and using formal and dynamic verification environments for audio and mixed-signal devices, ensuring the proper application of formal tools, and leading the verification process from beginning to end. Responsibilities include failure analysis, coverage analysis, and implementation/improvement of functional verification.
Must have:
- MSEE with 8+ years or PhDEE with 5 +years of formal verification experience
- Expertise in designing and implementing formal verification environments for complex IP/module-level designs
- Proven ability to lead and drive the verification process.
- Excellent communication and collaborative skills.
- Proficiency in System Verilog, UVM, or equivalent methodologies.
- Familiarity with scripting languages such as Python, Perl, TCL, Bash.
- Expertise in formal property languages, with SVA knowledge.
- Experience in property-based model-checking.
- Knowledgeable in Signal Processing, analog and digital design fundamentals
4 skills required
Job Details
For over four decades, Cirrus Logic has been propelled by the top engineers in mixed-signal processing. Our rockstar team thrives on solving complex challenges with innovative end-user solutions for the world's top consumer brands. Cirrus Logic is also known for its award-winning culture, which was built on a foundation of inclusion and fairness, meaningful community engagement, and delivering enjoyable employee experiences at every turn. But we couldn’t do it without our extraordinary workforce – and that’s where you come in. Join our team and help us continue to make Cirrus Logic an exceptional place to grow your career!
We are looking for an experienced Design and Formal Verification Engineer to join our growing organization in Austin, TX! You will be a key member of a verification group striving to promote, develop, and support advanced formal verification techniques. In this role, you will be building and leveraging both formal and dynamic verification environments for critical areas of audio and mixed-signal devices, employing and supporting the usage of formal tools with design and verification teams.
Responsibilities
- Develop and enhance formal methodologies to be rolled out to the wider design and verification teams and investigate new capabilities based on formal
- Mentor engineers in formal verification, developing their talents and understanding of formal techniques and application of formal methodologies
- Support, and where necessary coach, the verification team to follow, and improve, defined methodology practices
- Develop test plans and verification methodologies to verify the microarchitecture and design
- Perform failure analysis and resolution, coverage analysis, and population
- Implement and improve functional verification
Required Skills and Qualifications
- MSEE with 8+ years or PhDEE with 5 +years of formal verification experience
- Proven expertise in designing and implementing formal verification environments for complex IP/module-level designs
- Demonstrated ability to lead and drive the verification process from inception to completion
- Excellent communication skills and a collaborative approach to working with team members
- Proficiency in System Verilog, UVM, or equivalent methodologies
- Familiarity with scripting languages such as Python, Perl, TCL, Bash
- Expertise in formal property languages, with SVA knowledge
- Experience in property-based model-checking
- Knowledgeable in Signal Processing, analog and digital design fundamentals
#LI-TM1
#LI-Hybrid
Cirrus Logic strives to select the best qualified applicant for any opening. Different approaches, ideas and points of view are both valued and respected. Employment decisions are made on the basis of job-related criteria without regard to race, color, religion, sex, national origin, age, protected veteran or disabled status, genetic information, or any other classification protected by applicable law.
Similar Jobs
Enphase Energy
Bengaluru, Karnataka, India (On-Site)
• 1 Month ago
Riot Games
Los Angeles, California, United States (On-Site)
• 4 Months ago
Get notifed when new similar jobs are uploaded
Similar Skill Jobs
Marvell
Santa Clara, California, United States (On-Site)
• 4 Weeks ago
London stock Exchange
St. Louis, Missouri, United States (On-Site)
• 1 Month ago
BioFire
Salt Lake City, Utah, United States (On-Site)
• 3 Weeks ago
Get notifed when new similar jobs are uploaded
Jobs in Austin, Texas, United States
whoop
Boston, Massachusetts, United States (On-Site)
• 1 Month ago
Mountain View, California, United States (On-Site)
• 2 Months ago
CharacterAI
Menlo Park, California, United States (On-Site)
• 3 Months ago
Wind River
Walnut Creek, California, United States (Hybrid)
• 5 Days ago
Rippling
San Francisco, California, United States (On-Site)
• 1 Month ago
Get notifed when new similar jobs are uploaded
Software Development & Engineering Jobs
eBay
San Jose, California, United States (Hybrid)
• 4 Weeks ago
NVIDIA
Hillsboro, Oregon, United States (On-Site)
• 3 Months ago
Get notifed when new similar jobs are uploaded
