Silicon Formal Verification

3 weeks 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, India Microsoft Full time

    OverviewMicrosoft is a highly innovative company that collaborates across disciplines to produce cutting edge technology that changes our world. Microsoft’s Silicon team builds custom silicon for a diverse set of systems ranging from innovative consumer products like Xbox to high-performance Azure cloud servers, clients, and augmented reality.We are...


  • Bengaluru, India Rakiya Information Technology Solutions Full time

    Hello Everyone!!#URGENTHIRING#formalverificationWe're looking for Formal Verification Engineer with 0.6month to 1 year experience.JD : Formal Verification profile : LEC, LINT, Spyglass, CDC, PLC)


  • Bengaluru, India Rakiya Information Technology Solutions Full time

    Hello Everyone!!#URGENTHIRING#formalverification We're looking for Formal Verification Engineer with 0.6month to 1 year experience.JD : Formal Verification profile : LEC, LINT, Spyglass, CDC, PLC]


  • Bengaluru, India Analog Devices Full time

    SOC Verification lead for complex digital SOCs – End to End SOC verification responsibility.Verification of complex microprocessor designs, neural nets and high-speed peripherals using leading edge verification methodologies.Define tasks for team members, coordinate team effort, track, guide, mentor and technical support to team.Work with design and...


  • Bengaluru, India Analog Devices Full time

    SOC Verification lead for complex digital SOCs – End to End SOC verification responsibility. Verification of complex microprocessor designs, neural nets and high-speed peripherals using leading edge verification methodologies. Define tasks for team members, coordinate team effort, track, guide, mentor and technical support to team. Work with design and...


  • 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 Analog Devices Full time

    Lead Pre-Silicon verification for complex SOC or SubsystemVerification of complex microprocessor designs, neural nets and high-speed peripherals using leading edge verification methodologies.UVM testbench architecture development and implementation of DV flows, methodologyDefining test plans, tests and verification methodology for block / subsystem and...


  • Bengaluru, India Microsoft Full time

    OverviewMicrosoft is a highly innovative company that collaborates across disciplines to produce cutting edge technology that changes our world. Microsoft’s Silicon team builds custom silicon for a diverse set of systems ranging from innovative consumer products like Xbox to high-performance Azure cloud servers, clients, and augmented reality.We are...


  • Bengaluru, India Analog Devices Full time

    Job Posting Title: Staff Engineer - Design Verification : Lead Pre Silicon verification for complex SOC or Subsystem Verification of complex microprocessor designs, neural nets and high-speed peripherals using leading edge verification methodologies. UVM testbench architecture development and implementation of DV flows, methodology Defining...


  • Bengaluru, India Analog Devices Full time

    Lead Pre-Silicon verification for complex SOC or Subsystem Verification of complex microprocessor designs, neural nets and high-speed peripherals using leading edge verification methodologies. UVM testbench architecture development and implementation of DV flows, methodology Defining test plans, tests and verification methodology for block / subsystem...


  • Bengaluru, India Microsoft Full time

    OverviewThe Microsoft Silicon Engineering and Solutions Team is seeking passionate, driven and intellectually curious engineers to join our Central Front-End Tools, Flows and Methodology (TFM) group. This team drives state-of-the-art converged solutions, automation, and quality assurance checks across front-end areas like RTL & VIP Design, Design...


  • Bengaluru, India Microsoft Full time

    Overview Microsoft is a highly innovative company that collaborates across disciplines to produce cutting edge technology that changes our world. Microsoft’s Silicon team builds custom silicon for a diverse set of systems ranging from innovative consumer products like Xbox to high-performance Azure cloud servers, clients, and augmented reality. We...


  • Bengaluru, India Microsoft Full time

    Overview The Microsoft Silicon Engineering and Solutions Team is seeking passionate, driven and intellectually curious engineers to join our Central Front-End Tools, Flows and Methodology (TFM) group. This team drives state-of-the-art converged solutions, automation, and quality assurance checks across front-end areas like RTL & VIP Design, Design...


  • Bengaluru, India Microsoft Full time

    OverviewMicrosoft is a leader in the design of world-class entertainment devices. Microsoft’s Silicon team builds custom silicon for Microsoft’s innovative hardware products including Microsoft Xbox and HoloLens.Are you seeking an opportunity to work on delivering silicon solutions that have a planet-scale impact? The Data Processing Unit (DPU) team...

  • Formal DV Engineer

    5 days ago


    Greater Bengaluru Area, India Analog Devices Full time

    .Tech/M.Tech with 5+ years of industry experience in Digital Pre-Silicon verification.Good understanding of SOC/Subsystem design concepts and design architectures.Hands on experience in developing, updating and debugging of Verilog, SV-UVM, SOC level testbenches is a must.Experience in closing the verification of block, subsystem level verification using...


  • Bengaluru, India Microsoft Full time

    Overview Microsoft is a leader in the design of world-class entertainment devices. Microsoft’s Silicon team builds custom silicon for Microsoft’s innovative hardware products including Microsoft Xbox and HoloLens. Are you seeking an opportunity to work on delivering silicon solutions that have a planet-scale impact? The Data Processing Unit (DPU)...


  • Bengaluru, India NVIDIA Full time

    We are currently seeking Verification Engineer with strong verification fundamentals to work in Switch Silicon group. You'll join a group of hardworking engineers to craft and implement the next generation innovative Switch Silicon chips. In this position, you'll make a real impact in a dynamic, technology-focused company while developing best high-speed...


  • Bengaluru, India Analog Devices Full time

    Job Posting Title: Senior Engineer - Design Verification : End to End verification ownership of IP or Subsystem or SOC level Verification of complex microprocessor designs, neural nets and high-speed peripherals using leading edge verification methodologies. UVM testbench architecture development and implementation of DV flows, methodology Defining...


  • Bengaluru, India Analog Devices Full time

    Job Posting Title: Senior Engineer - Design Verification : End to End verification ownership of IP or Subsystem or SOC level Verification of complex microprocessor designs, neural nets and high-speed peripherals using leading edge verification methodologies. UVM testbench architecture development and implementation of DV flows, methodology Defining...


  • Bengaluru, India Tessolve Full time

    Job SummaryPosition: Design Verification- Design LeadExperience: 8+years relevant experience.Location -BangaloreEducation: B.Tech/M.TechTo be successful in this role you will:Seeking highly motivated, energetic, team-oriented Individual contributors willing to take the challenge of delivering the first pass success of complex IPs using the latest advanced...