Silicon Logic Formal Verification
Job Summary
Job Description
Positions are open for full-time and co-op/internship roles in the areas of formal verification of CPU, Fabric, and Accelerator design. In this position, you will work with architects and RTL design engineers to identify, specify, and verify artifacts amenable to formal analysis. You will prove functional and security properties of the design, find design bugs, and work closely with design teams to deliver high-quality designs. You will also develop sound formal abstract models for verifying system-level properties like deadlock freedom and non-starvation using formal methods. Additionally, you will develop innovative flows using formal methods in conjunction with simulation-based techniques for effective bug hunting and develop reusable and scalable proof techniques.
Must have:
- Formal verification of CPU, Fabric, and Accelerator design
- Work with architects and RTL design engineers
- Identify, specify, and verify artifacts for formal analysis
- Prove functional and security properties of the design
- Find design bugs and work with design teams
- Develop formal abstract models
- Verify system-level properties (deadlock freedom, non-starvation)
- Develop innovative flows with simulation-based techniques
- Develop reusable and scalable proof techniques
Good to have:
- Experience with interactive theorem provers
Job Details
Positions are open for full-time and co-op/internship roles in the areas of formal verification of CPU, Fabric, and Accelerator design
In this position, you will:
- Work with architects and RTL design engineers to identify, specify, and verify artifacts amenable to formal analysis.
- Prove functional and security properties of the design, find design bugs, and work closely with design teams to deliver high-quality designs.
- Develop sound formal abstract models for verifying system-level properties like deadlock freedom and non-starvation using formal methods.
- Develop innovative flows using formal methods in conjunction with simulation-based techniques for effective bug hunting.
- Develop reusable and scalable proof techniques.
Similar Jobs
Looks like we're out of matches
Set up an alert and we'll send you similar jobs the moment they appear!
Similar Skill Jobs
Looks like we're out of matches
Set up an alert and we'll send you similar jobs the moment they appear!
Jobs in Fort Collins, Colorado, United States
Mattel Inc
East Aurora, New York, United States (On-Site)
• 3 Months ago
Canva
San Francisco, California, United States (Remote)
• 4 Months ago
Rapt studio
Los Angeles, California, United States (Hybrid)
• 8 Months ago
Get notifed when new similar jobs are uploaded
Similar Category Jobs
Looks like we're out of matches
Set up an alert and we'll send you similar jobs the moment they appear!
