Cirrus Logic

Sr. Staff Formal Verification Engineer (CH-TBD)

Reposted 10 Hours Ago

Be an Early Applicant

Austin, TX, USA

Hybrid

Senior level

Hardware • Software

Cirrus Logic's technology elevates the consumer experience for the world's top mobile and consumer applications.

The Role

Lead development and rollout of formal verification methodologies, mentor engineers, build formal and dynamic verification environments, create test plans, perform failure and coverage analysis, and improve functional verification for mixed-signal audio IP.

Summary Generated by Built In

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 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:

Master's degree in Electrical or Computer Engineering with 8+ years or PhD in Electrical or Computer Engineering 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

#HOTT

Export control restrictions based upon applicable laws and regulations would prohibit candidates who are nationals of certain embargoed countries from working in this position without Cirrus Logic first obtaining an export license. Candidates for this role must be able to access technical data without a requirement for an export license. We are unable to sponsor or obtain export licenses for this role.

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.

Top Skills

Bash

Formal Verification

Model Checking

Perl

Property-Based Model Checking

Python

Systemverilog

Systemverilog Assertions (Sva)

Tcl

Uvm

View all jobs at Cirrus Logic

View Cirrus Logic Profile

Report Job

Am I A Good Fit?

beta

Get Personalized Job Insights.

Our AI-powered fit analysis compares your resume with a job listing so you know if your skills & experience align.

The Company

HQ: Austin, TX

1,604 Employees

Year Founded: 1984

What We Do

Cirrus Logic is a leading supplier of low-power, high-precision mixed-signal processing solutions for mobile and consumer applications. The company has a robust portfolio of sophisticated low-power products, including boosted amplifiers, smart codecs, camera controllers, haptic driver and sensing solutions, power conversion and control Integrated Circuits, and fast-charging Integrated Circuits. These solutions have innovative technology, software and associated algorithms incorporated. With a strong intellectual property portfolio and extensive mixed-signal expertise, Cirrus Logic is well-positioned to drive innovation and growth in the evolving markets of audio and high-performance mixed-signal processing technologies. We are hiring like crazy! Please visit our careers portal at cirrus.jobs to check out our available openings!

Why Work With Us

Engineering drives our company, and innovation isn’t just encouraged – it’s expected! This is a culture where you get to work with some of the largest, most innovative customers and products on the planet on a daily basis and where everyone is a key contributor to the company’s success. There are no Miltons here!