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
Mattel Inc , United States (On-Site)
Coffee Stain, Sweden (On-Site)
Headout, Italy (On-Site)
Coupa Software, Colombia (Hybrid)
Hacksaw Studios, Sweden (On-Site)
Lytx, Inc , India (Hybrid)
Intel Corporation, Israel (Hybrid)
Meta, United States (On-Site)
Anavation, United States (On-Site)
Starkflow, United Arab Emirates (On-Site)
Get notifed when new similar jobs are uploaded
Similar Skill Jobs
Zoox, United States (On-Site)
Nexon, United States (Hybrid)
Geeksynergy Technologies , India (On-Site)
WebFX, Belize (Remote)
DNEG, India (On-Site)
Kojima Productions, Japan (On-Site)
Global Step, Canada (On-Site)
Warner Bros Discovery, United Kingdom (Hybrid)
Intel Corporation, United States (Hybrid)
Devrev, Argentina (Hybrid)
Get notifed when new similar jobs are uploaded
Jobs in Austin, Texas, United States
Nagarro, United States (On-Site)
Wargaming, United States (Hybrid)
Paypal, United States (Hybrid)
Samsung Semiconductor, United States (On-Site)
ByteDance, United States (On-Site)
Netflix, United States (Remote)
Meta, United States (On-Site)
Volley, United States (Hybrid)
Meta, United States (On-Site)
ByteDance, United States (On-Site)
Get notifed when new similar jobs are uploaded
Research & Development Jobs
Netflix, United States (Remote)
HP, India (On-Site)
Ubisoft, China (On_site)
The Walt Disney Company, United States (On-Site)
Sagecor Solutions, United States (On-Site)
Fabric, Belgium (Remote)
ByteDance, Singapore (On-Site)
Passive Logic, United States (On-Site)
Rockstar Games, United States (On-Site)
Luxoft, Sweden (On-Site)
Get notifed when new similar jobs are uploaded
