Formal Verification Intern: Microarchitecture & SystemVerilog

Cirrus; Austin (TX); In loco; USD 55.000 - 69.000; Tempo pieno

Descrizione del lavoro

Cirrus Logic in Austin, TX is seeking an intern for the Formal Verification team. The role focuses on applying formal verification to digital designs and is open to students enrolled in an MS or PhD program in Electrical or Computer Engineering. The internship requires full-time commitment during the term.

Cirrus Logic expects candidates to be based within commuting distance, with a 2+ day in-office schedule, and potentially more days as business needs require. Sponsorship is not mentioned.

Competenze

• Master’s or PhD degree in Electrical or Computer Engineering.
• Knowledge in designing and implementing verification environments for module-level designs.
• Excellent communication skills and a collaborative approach to working with team members.
• Proficiency in System Verilog.
• Familiarity with scripting languages such as Python, Perl, TCL, Bash.
• Experienced or knowledge in UVM or equivalent methodologies.
• Knowledge in formal property languages such as SVA.
• Knowledge in property-based model-checking.
• Knowledgeable in signal processing, analog or digital design fundamentals.

Mansioni

• Support the formal verification team to follow, and improve, defined methodology practices.
• Develop test plans and verification methodologies to formally verify the microarchitecture and design.
• Perform failure analysis and resolution, coverage analysis, and population.
• Implement and improve functional and formal verification.

Conoscenze

SystemVerilog

Python

Perl

TCL

Bash

UVM

SVA

Property-based model-checking

Digital design fundamentals

Formazione

Master’s or PhD in Electrical or Computer Engineering

Descrizione del lavoro

Cirrus Logic in Austin, TX is seeking an intern for the Formal Verification team. The role focuses on applying formal verification to digital designs and is open to students enrolled in an MS or PhD program in Electrical or Computer Engineering. The internship requires full-time commitment during the term.

Cirrus Logic expects candidates to be based within commuting distance, with a 2+ day in-office schedule, and potentially more days as business needs require. Sponsorship is not mentioned.