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
Postman, United States (On-Site)
Unity, United States (On-Site)
Netflix, United States (Hybrid)
Volley, United States (Hybrid)
DAZN, Italy (Hybrid)
Fabric, United States (Remote)
Google, (On-Site)
Google, (On-Site)
Meta, United States (On-Site)
Rockstar Games, United Kingdom (On-Site)
Get notifed when new similar jobs are uploaded
Similar Skill Jobs
Luxoft, (Remote)
PwC, Kazakhstan (On-Site)
NinjaVan, Indonesia (On-Site)
Jam Studio, (Remote)
![Krafton - [Publishing Services Management Div.] Native Chinese(Simplified) Localization Specialist (1년 이상 / 계약직)](/_next/image?url=https%3A%2F%2Foutscal-assets.s3.ap-south-1.amazonaws.com%2Fcompany%2Fproduction%2F16-11-2023%2F80ad888d-4837-48d9-8b65-0ffdee910f35.png&w=256&q=50)
Krafton , South Korea (On-Site)
PwC, India (On-Site)
Interactive Brokers, Hungary (On-Site)
![BBY India - Senior Software Engineer [T500-14387]](/_next/image?url=https%3A%2F%2Foutscal-lms-data.s3.ap-south-1.amazonaws.com%2Fcompany-image%2Fproduction%2Fbby-india%2Fbby-india_logo_10_06_2024__10_30_51.jpg&w=256&q=50){kind=logo}
BBY India, India (On-Site)
Paypal, United States (Hybrid)
Meetelise, United States (Hybrid)
Get notifed when new similar jobs are uploaded
Jobs in Bengaluru, Karnataka, India
Qualys, India (On-Site)
Salesforce, India (On-Site)
Thence, India (Hybrid)
Luxoft, India (On-Site)
PwC, India (On-Site)
Impact Analytics, India (On-Site)
Paytm, India (On-Site)
Shyft Labs, India (Hybrid)
Hexagon Events , India (On-Site)
HP, India (On-Site)
Get notifed when new similar jobs are uploaded
Research & Development Jobs
Regent Craft, United States (On-Site)
STMicroelectronics, India (On-Site)
ByteDance, Singapore (On-Site)
Intel Corporation, Costa Rica (Hybrid)
Intel Corporation, United States (Hybrid)
ByteDance, United States (On-Site)
Netflix, United States (On-Site)
Jobs Malaysia - Two95 HR HUB, India (On-Site)
Intel Corporation, Israel (Hybrid)
Trend Micro, Taiwan (On-Site)
Get notifed when new similar jobs are uploaded
