Silicon Logic Formal Verification

2 weeks ago

Bengaluru, Karnataka, India Rivos Full time ₹ 5,00,000 - ₹ 15,00,000 per year
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.
PhD, Master's Degree, or Bachelor's Degree in a technical subject area. We may use artificial intelligence (AI) tools to support parts of the hiring process, such as reviewing applications, analyzing resumes, or assessing responses. These tools assist our recruitment team but do not replace human judgment. Final hiring decisions are ultimately made by humans. If you would like more information about how your data is processed, please contact us.

  • Formal Verification Staff Engineer

    11 hours ago

    Bengaluru, Karnataka, India Synopsys Full time ₹ 10,00,000 - ₹ 25,00,000 per year

    Formal Verification Staff Engineer - Formal Verification Engineer - ASIC Digital Design Engineer - RTL Verification Specialist We Are: At Synopsys, we drive the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning machines. We lead in chip design,...

  • Formal Verification Engineer

    2 weeks ago

    Bengaluru, Karnataka, India QFocus AI Pvt. Ltd. Full time ₹ 30,00,000 - ₹ 50,00,000 per year

    About the organizationQFocus AI Pvt. Ltd. (QFAI), a wholly owned subsidiary of QFocus Technologies LLC, is a consulting-led engineering services company with sharp focus on supporting next gen advanced products development across AI/ML, Compute, Communication, Storage and Consumer Electronics. Our mission is to help our customers deliver cutting-edge...

  • Formal Verification Engineer

    2 weeks ago

    Bengaluru, Karnataka, India Synopsys Inc Full time ₹ 12,00,000 - ₹ 36,00,000 per year

    Job Title:Formal Verification EngineerWe Are:At Synopsys, we drive the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning machines. We lead in chip design, verification, and IP integration, empowering the creation of high-performance silicon chips and software...

  • ASIC Verification Engineer, Formal

    1 week ago

    Bengaluru, Karnataka, India Meta Full time ₹ 12,00,000 - ₹ 36,00,000 per year

    Meta is hiring Application-Specific Integrated Circuit (ASIC) Design Verification Engineer within the Infrastructure organization. We are looking for individuals with experience in Design Verification to build IP and System On Chip (SoC) for data center applications.As a Formal Verification Engineer, you will be part of a team working with the best in the...

  • Silicon Verification Engineer

    2 days ago

    Bengaluru, Karnataka, India Graphcore Full time ₹ 6,00,000 - ₹ 18,00,000 per year

    Silicon Verification EngineerMultiple roles across different levelsGraphcore is a globally recognised leader in Artificial Intelligence computing systems. The company designs advanced semiconductors and data centre hardware that provide the specialised processing power needed to drive AI innovation, while delivering the efficiency required to support its...

  • Silicon Verification Engineer

    2 days ago

    Bengaluru, Karnataka, India Graphcore Full time ₹ 8,00,000 - ₹ 16,00,000 per year

    Silicon Verification EngineerMultiple roles across different levelsGraphcore is a globally recognised leader in Artificial Intelligence computing systems. The company designs advanced semiconductors and data centre hardware that provide the specialised processing power needed to drive AI innovation, while delivering the efficiency required to support its...

  • Silicon Logical Design Engineer

    1 week ago

    Bengaluru, Karnataka, India Graphcore Full time ₹ 12,00,000 - ₹ 24,00,000 per year

    Silicon Logical Design EngineerMultiple roles across different levelsGraphcore is a globally recognised leader in Artificial Intelligence computing systems. The company designs advanced semiconductors and data centre hardware that provide the specialised processing power needed to drive AI innovation, while delivering the efficiency required to support its...

  • Silicon Logical Design Engineer

    6 days ago

    Bengaluru, Karnataka, India Graphcore Full time ₹ 12,00,000 - ₹ 36,00,000 per year

    Silicon Logical Design EngineerMultiple roles across different levelsGraphcore is a globally recognised leader in Artificial Intelligence computing systems. The company designs advanced semiconductors and data centre hardware that provide the specialised processing power needed to drive AI innovation, while delivering the efficiency required to support its...

  • Silicon Logical Design Engineer

    2 days ago

    Bengaluru, Karnataka, India Graphcore Full time ₹ 8,00,000 - ₹ 16,00,000 per year

    Silicon Logical Design EngineerMultiple roles across different levelsGraphcore is a globally recognised leader in Artificial Intelligence computing systems. The company designs advanced semiconductors and data centre hardware that provide the specialised processing power needed to drive AI innovation, while delivering the efficiency required to support its...

  • FPGA Silicon Design Verification Engineer

    4 days ago

    Bengaluru, Karnataka, India Altera Semiconductor Full time ₹ 12,00,000 - ₹ 24,00,000 per year

    Job Details:Job Description:Sr. Silicon Design Verification Engineer (on-site)Performs functional logic verification of an integrated SoC to ensure design will meet specifications.Defines and develops scalable and reusable block, subsystem, and SoC verification plans, test benches, and the verification environment to meet the required level of coverage and...