Not Authorized
You are currently not authorized to access this section.
Please contact your Administrator to change your authorization settings.
Please contact your Administrator to change your authorization settings.
Formal Design Verification Engineer (CH-366)
Austin, TX
Job Description
For nearly 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 an 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 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 formal 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:- Mentor engineers in formal verification, developing their talents and understanding of formal techniques and application of formal methodologies
- Develop new formal methodologies to be rolled out to the wider design and verification teams and investigate new capabilities based on formal
- Implement and improve functional verification
- Develop test plans and verification methodologies to verify the microarchitecture and design
- You will perform failure analysis and resolution, coverage analysis, and population
- 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 UVM, OVM, or equivalent methodologies
- Familiarity with scripting languages such as Perl, TCL, Bash, Python
- Expertise in formal property languages, with SVA knowledge preferred
- Experience in property-based model-checking
#LI-Db1
#LI-Hybrid
Diversity drives innovation at Cirrus Logic. Different approaches, ideas and points of view are both valued and respected, and employees are rewarded for their skills, experience and performance. Additionally, Cirrus Logic is an Equal Opportunity/Affirmative Action Employer, and we do not discriminate on the basis of race, color, national origin, pregnancy status, marital status, gender, age, religion, physical or mental disability, medical condition, veteran status, sexual orientation, gender identity, genetic information or any other characteristic protected by law.
Cirrus Logic is an Equal Opportunity/Affirmative Action Employer. We strive to select the best qualified applicant for any opening and to reward employees based on their skills, experience and performance. We do not discriminate on the basis of race, national origin, pregnancy status, marital status, gender, age, religion, physical or mental disability, medical condition, veteran status, sexual orientation, genetic information or any other characteristic protected by law.
Job Summary
Company
Start Date
As soon as possible
Employment Term and Type
Regular, Full Time
Required Education
Doctorate
Required Experience
8+ years
Email this Job to Yourself or a Friend