Silicon Logic Formal Verification - Full Time
About the job
Job Description
Responsibilities
- As a Formal Verification Engineer, you will be involved in the formal verification of the architecture and microarchitecture of a high-performance RISC-V core, a coherent fabric, and an accelerator design.
- 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.
Requirements
- Solid understanding of formally specifying and analyzing temporal assertion properties.
- Hands-on experience using model checking tools.
- Experience with interactive theorem provers is a plus.
- Excellent problem-solving skills, along with strong written and verbal communication abilities.
- Excellent organizational skills and high self-motivation.
- Ability to communicate and work well with different design teams.
Add your resume
Upload your resume, increase your shortlisting chances by 80%
Similar Jobs
NTT DATA, Inc , India (On-Site)
PikPok, New Zealand (On-Site)
Sperasoft, Armenia (On-Site)
Rockstar Games, United States (On-Site)
Room 8 Studio, Slovakia (On-Site)
Luxoft, United States (Remote)
Google, India (On-Site)
Assystems, United Kingdom (On-Site)
Luxoft, Mexico (Remote)
Netflix, United States (On-Site)
Get notifed when new similar jobs are uploaded
Similar Skill Jobs
The Walt Disney Company, United States (On-Site)
Social Discovery Ventures, Poland (Remote)
Power Integrations, Malaysia (On-Site)
Nielsen Holdings, Croatia (Hybrid)
Salesforce, India (On-Site)
Ingenuity Studios, LLC, Canada (Remote)
BOT VFX, India (On-Site)
Intel Corporation, United States (On-Site)
Tamatem Games, United Arab Emirates (Hybrid)
The Walt Disney Company, United States (On-Site)
Get notifed when new similar jobs are uploaded
Jobs in Santa Clara, California, United States
Life church, United States (On-Site)
Postman, United States (On-Site)
The Walt Disney Company, United States (On-Site)
Meta, United States (On-Site)
Workato, United States (On-Site)
Crunchyroll, United States (Hybrid)
World Relief, United States (On-Site)
Buckman, United States (On-Site)
Google, United States (On-Site)
Santa Monica Studio, United States (On-Site)
Get notifed when new similar jobs are uploaded
Research & Development Jobs
eBay, United States (Hybrid)
Visa, United Kingdom (On-Site)
Google, Taiwan (On-Site)
Marvell, Argentina (On-Site)
Fabric, France (Remote)
NK Securities Research, India (Hybrid)
Codvoai, India (Remote)
Sagecor Solutions, United States (On-Site)
Rivos, Taiwan (Hybrid)
ByteDance, United States (On-Site)
Get notifed when new similar jobs are uploaded
