Silicon Logic Formal Verification - Full Time
2 skills required
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
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.
In this position, you will:
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.
PhD, Master’s Degree, or Bachelor’s Degree in a technical subject area.
Similar Jobs
BANDAI NAMCO
Santa Clara, California, United States (On-Site)
• 3 Weeks ago
Next Level Business Services
Sunnyvale, California, United States (On-Site)
• 5 Months ago
Samsung Semiconductor
San Jose, California, United States (Hybrid)
• 1 Month ago
Netflix
United States (Remote)
• 2 Months ago
NVIDIA
Santa Clara, California, United States (On-Site)
• 3 Months ago
Trend Micro
Manila, Metro Manila, Philippines (Hybrid)
• 6 Months ago
Get notifed when new similar jobs are uploaded
Similar Skill Jobs
The Walt Disney Company
Anaheim, California, United States (On-Site)
• 1 Week ago
PwC
Bengaluru, Karnataka, India (On-Site)
• 6 Months ago
Rockstar Games
New York, New York, United States (On-Site)
• 4 Weeks ago
ByteDance
Tokyo, Japan (On-Site)
• 4 Months ago
Canva
Surry Hills, New South Wales, Australia (Remote)
• 3 Weeks ago
Garena
Ho Chi Minh City, Ho Chi Minh City, Vietnam (On-Site)
• 1 Week ago
Get notifed when new similar jobs are uploaded
Jobs in Portland, Oregon, United States
Match Group
San Francisco, California, United States (Remote)
• 6 Months ago
ByteDance
Boston, Massachusetts, United States (On-Site)
• 4 Weeks ago
Glean
Palo Alto, California, United States (On-Site)
• 5 Months ago
Meta
Menlo Park, California, United States (On-Site)
• 5 Months ago
The Walt Disney Company
Burbank, California, United States (On-Site)
• 1 Week ago
ByteDance
Seattle, Washington, United States (On-Site)
• 6 Months ago
ByteDance
San Jose, California, United States (On-Site)
• 1 Month ago
Ello
San Francisco, California, United States (On-Site)
• 3 Weeks ago
Get notifed when new similar jobs are uploaded
Research & Development Jobs
Luma Pictures
Vancouver, British Columbia, Canada (On-Site)
• 4 Weeks ago
NVIDIA
Hillsboro, Oregon, United States (Remote)
• 1 Month ago
Netflix
Hsinchu, Hsinchu City, Taiwan (On-Site)
• 5 Months ago
Riot Games
Los Angeles, California, United States (On-Site)
• 1 Month ago
São Paulo, State Of São Paulo, Brazil (On-Site)
• 6 Days ago
Get notifed when new similar jobs are uploaded
