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
PwC, India (On-Site)
Whatnot, (Remote)
Treyarch, Canada (On-Site)
Visa, (On-Site)
Logitech, Taiwan (On-Site)
DigitalFish, United States (Hybrid)
MediaTek, India (On-Site)
Cirrus Logic, United States (On-Site)
Rivos, (On-Site)
Google, (On-Site)
Get notifed when new similar jobs are uploaded
Similar Skill Jobs
The Walt Disney Company, United States (On-Site)
Milk Visual Effects, (On-Site)
Feld Entertainment, United States (On-Site)
Pure Storage, India (Hybrid)
OKX, Singapore (On-Site)
Garena, Singapore (On-Site)
GoTo Group, Indonesia (On-Site)
Mulya Technologies, India (Hybrid)
Hudl, Japan (On-Site)
Zeal Holdings , India (On-Site)
Get notifed when new similar jobs are uploaded
Jobs in Portland, Oregon, United States
Alphasense, United States (Remote)
Cision, United States (Hybrid)
The Walt Disney Company, United States (On-Site)
CD PROJEKT RED, United States (On-Site)
Wind River Systems, United States (Hybrid)
Zoox, United States (Hybrid)
Netflix, United States (On-Site)
ByteDance, United States (On-Site)
Info Stretch, United States (On-Site)
ByteDance, United States (On-Site)
Get notifed when new similar jobs are uploaded
Research & Development Jobs
Power Integrations, United States (On-Site)
Luxoft, (Remote)
Google, (On-Site)
Spacelabs Healthcare, India (On-Site)
Dew Software, United States (On-Site)
Google, Taiwan (On-Site)
UST, India (On-Site)
Fluence, India (Hybrid)
Global Business Travel, India (On-Site)
Riot Games, United States (On-Site)
Get notifed when new similar jobs are uploaded
