Silicon Formal Verification

8 months ago


Bengaluru Karnataka, India Rivos Full time

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. In this position, you will:

- 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.

**Education and Experience



  • Bengaluru, Karnataka, India Advanced Micro Devices, Inc. Full time

    Back **SMTS - Formal Verification**: - Bangalore, India - Engineering - 36482 mail_outline Get future jobs matching this search *** **Job Description**: **WHAT YOU DO AT AMD CHANGES EVERYTHING** - We care deeply about transforming lives with AMD technology to enrich our industry, our communities, and the world. Our mission is to build great products that...


  • Bengaluru, Karnataka, India Rivos Full time

    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...

  • Formal Verification

    6 months ago


    Bengaluru, Karnataka, India Advanced Micro Devices, Inc. Full time

    Back **Formal Verification (3+ years)**: - Bangalore, India - Engineering - 29054 mail_outline Get future jobs matching this search *** **Job Description**: **WHAT YOU DO AT AMD CHANGES EVERYTHING** We care deeply about transforming lives with AMD technology to enrich our industry, our communities, and the world. Our mission is to build great products...


  • Bengaluru, Karnataka, India Advanced Micro Devices, Inc Full time

    Overview: **WHAT YOU DO AT AMD CHANGES EVERYTHING** We care deeply about transforming lives with AMD technology to enrich our industry, our communities, and the world. Our mission is to build great products that accelerate next-generation computing experiences - the building blocks for the data center, artificial intelligence, PCs, gaming and embedded....

  • Silicon Verification

    3 months ago


    Bengaluru, Karnataka, India Rivos Full time

    Positions are open for full-time and Co-op/internship in the areas of CPU and SOC verification from unit level to chip level as well as all aspects of verification such as functional, microarchitecture, performance, and formal. We are looking for all levels of talent, from entrance to advanced level of experience. **Responsibilities**: - Work closely with...


  • Bengaluru, Karnataka, India Qualcomm Full time

    **Company**: Qualcomm India Private Limited **Job Area**: Engineering Group, Engineering Group > Hardware Engineering **General Summary**: - Roles and Responsibilities: - Work with design team to understand design intent and bring up verification plans and schedules with an eye towards the end-to-end formalization of the refinement from architecture to...


  • Bengaluru, Karnataka, India Synopsys Inc Full time

    Job DescriptionThe Formal Verification Team at Synopsys Inc is seeking an experienced engineer to join our team.About UsSynopsys EDA Group is a leading provider of electronic design automation (EDA) software and solutions. Our Formal Verification Team works with top-tier customers to deploy high-quality Formal Verification Solutions and Flows on the cutting...


  • Bengaluru, India Synopsys Inc Full time

    The Formal Verification Team is part of Synopsys EDA Group. We work with top-tier Synopsys customers to deploy high-quality Formal Verification Solutions and Flows on the cutting edge verification requirements of the industry. The team works across the spectrum of verification challenges like Property Verification, Data Path Verification, Clock-gating...


  • Bengaluru, India Synopsys Inc Full time

    The Formal Verification Team is part of Synopsys EDA Group. We work with top-tier Synopsys customers to deploy high-quality Formal Verification Solutions and Flows on the cutting edge verification requirements of the industry. The team works across the spectrum of verification challenges like Property Verification, Data Path Verification, Clock-gating...


  • Bengaluru, India Synopsys Inc Full time

    The Formal Verification Team is part of Synopsys EDA Group. We work with top-tier Synopsys customers to deploy high-quality Formal Verification Solutions and Flows on the cutting edge verification requirements of the industry. The team works across the spectrum of verification challenges like Property Verification, Data Path Verification, Clock-gating...


  • Bengaluru, India Cadence Full time

    FormalVerification Engineer for Interface Controller IP R&D Team at Cadence, Bangalore. Experience: 7 - 13 Years. Skills Expected: Strong Verilog, SVA and Formal environment development skills with working knowledge of any generic protocols like AMBA/USB/PCIe/CXL/UCIe. Having experience in Formal Verification is mandatory. Should have signed off multiple RTL...

  • Silicon Verification

    8 months ago


    Bengaluru, India Rivos Full time

    Positions are open for full-time and Co-op/internship in the areas of CPU and SOC verification from unit level to chip level as well as all aspects of verification such as functional, microarchitecture, performance, and formal. - We are looking for all levels of talent, from entrance to advanced level of experience. **Responsibilities**: - Work closely...


  • Bengaluru, Karnataka, India Google Full time

    **Minimum qualifications**: - Bachelor's degree in Computer Science, Electrical Engineering, Computer Engineering, a related technical field, or equivalent practical experience. - 2 years of experience creating and using verification components and environments in standard verification methodology. - Experience designing or verifying digital logic at the...


  • Bengaluru, Karnataka, India Lifelancer Full time

    About the RoleWe are seeking a highly skilled Research Associate to join our team at UNSW's Trustworthy Systems Research Group. As a Senior Research Associate, you will be responsible for contributing to various research activities in formal methods and verification of real-world software systems.The ideal candidate will have a strong background in computer...


  • Bengaluru, Karnataka, India Rivos Full time

    Join a cutting-edge and well-funded hardware startup in Silicon Valley as a Verification Engineer. Our mission is to reimagine silicon and create Risc-V based computing platforms that will transform the industry. You will have the opportunity to work with some of the most talented and passionate engineers in the world to create designs that push the envelope...


  • Bengaluru, India Texas Instruments Full time

    Responsibilities:Complete ownership of IP/subsystem/SOC DV ownership right from spec definition till the post silicon verification and solving the customer issues on need basis. This includes:- Active involvement with architecture team during the spec definition phase- Verification strategy definition along with Verification plan to meet 100% spec to...


  • Bengaluru, Karnataka, India Advanced Micro Devices, Inc Full time

    Overview: **WHAT YOU DO AT AMD CHANGES EVERYTHING** We care deeply about transforming lives with AMD technology to enrich our industry, our communities, and the world. Our mission is to build great products that accelerate next-generation computing experiences - the building blocks for the data center, artificial intelligence, PCs, gaming and embedded....


  • Bengaluru, Karnataka, India Advanced Micro Devices, Inc Full time

    Overview: **WHAT YOU DO AT AMD CHANGES EVERYTHING** We care deeply about transforming lives with AMD technology to enrich our industry, our communities, and the world. Our mission is to build great products that accelerate next-generation computing experiences - the building blocks for the data center, artificial intelligence, PCs, gaming and embedded....


  • Bengaluru, India L&T Technology Services Full time

    Dear VLSI talent,Please feel free to visit - / Core architecture Hands on Experience.If CPU/Core experience missing, then IP (pipelined design) experience is must.Cache operations.SV/UVM Experience must.Formal experience preferred.LTTS has constantly helped enterprises thrive in the new era of the digital revolution with over 650 engineers. We have also...


  • Bengaluru, India L&T Technology Services Full time

    Dear VLSI talent,Please feel free to visit - / Core architecture Hands on Experience.If CPU/Core experience missing, then IP (pipelined design) experience is must.Cache operations.SV/UVM Experience must.Formal experience preferred.LTTS has constantly helped enterprises thrive in the new era of the digital revolution with over 650 engineers . We have also...