Silicon Logic Formal Verification

1 week ago


Bengaluru, Karnataka, India Rivos Full time

Responsibilities:

  • Working with RTL design engineers on identifying the microarchitecture features for formal microarchitecture specification.
  • Developing a comprehensive formal verification test plan.
  • Proving properties of the design, finding design bugs, and working closely with design teams to help improve the microarchitecture.
  • Crafting novel and creative solutions for verifying complex design microarchitectures.
  • Developing and implementing reusable and optimized formal models and testbenches.
  • Architecting correctbyconstruction design methodologies for improved formal verification efficiency and productivity.

Requirements:

  • Interest in learning and becoming an expert in the VLSI, and digital logic design and verification techniques.
  • Detail oriented mindset and desire to overcome challenges is required.
  • Formal Method or Formal Verification technologies and abstraction techniques experience is a plus.
  • Knowledge in interpreting hardware specifications using assertionbased languages such as SVA.
  • Experience in using formal tools and models.
  • Proficiency in any scripting language with excellent debugging skills.
  • Passionate about developing innovative formal verification solutions.
  • Excellent skills in problem solving, written and verbal communication, excellent organization skills, and highly selfmotivated.
  • Ability to work well in a team and be productive under aggressive schedules.
Education and Experience
  • Formal Verification

    1 week ago


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

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


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

    BackSMTS - Formal Verification: Bangalore, India Engineering 36482mail_outlineGet 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 accelerate nextgeneration...


  • Bengaluru, Karnataka, India NVIDIA Full time

    NVIDIA is seeking an elite Formal Verification Engineer to verify the design and implementation of the design units for the world's leading SoCs and GPUs. This position offers the opportunity to have real impact in a dynamic, technology-focused company impacting product lines ranging from consumer graphics to self-driving cars and the growing field of...


  • Bengaluru, Karnataka, India Intel Full time

    Job DescriptionConducts verification of single/Multiple design blocks, Media IP and/or SoC microarchitecture using formal verification tools, methodologies, and technologies based on model checking and equivalence checking algorithms. Creates comprehensive formal verification test and coverage plans including definition of formal verification scope,...


  • Bengaluru, Karnataka, 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, Karnataka, India Qualcomm Full time

    Company: Qualcomm India Private Limited Job Area: Engineering Group, Engineering Group > Hardware Engineering General Summary: Additional Job Description Qualcomm Infra and Periph team in India is part of a worldwide team responsible for developing and delivering Infra and Periph solutions which are setting the benchmark in...


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


  • Bengaluru, Karnataka, India Qualcomm Full time

    Company: Qualcomm India Private LimitedJob Area: Engineering Group, Engineering Group > Hardware EngineeringGeneral Summary: Roles and Responsibilities: Work with design team to understand design intent and bring up verification plans and schedules with an eye towards the endtoend formalization of the refinement from architecture to microarchitecture Define...


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

    Digital Design Verification Engineer Job Responsibilities: Verification of complex designs such as accelerators/ datapath IP, processor core subsystems, complex interfaces/ protocols such as DDR/ Ethernet/ USB etc using leading edge methodologies like UVM & Formal DV Architect the testbench and develop the verification environment in UVM...


  • Bengaluru, Karnataka, India Analog Devices Full time

    Job Responsibilities: Verification of complex designs such as accelerators/ datapath IP, processor core subsystems, complex interfaces/ protocols such as DDR/ Ethernet/ USB etc using leading edge methodologies like UVM & Formal DV Architect the testbench and develop the verification environment in UVM and Formal based verification approaches ...

  • Formal Verification

    1 week ago


    Bengaluru, Karnataka, India AlgoShack Full time

    Design and implement high-quality scalable software features Participate in architecture and design reviews; closely work with SCRUM team of developers of testers Translate the technical information into requirements, specifications, workflows, and procedures Design & develop test cases based on available requirement specifications and verification plans...


  • Bengaluru, Karnataka, 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, Karnataka, 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 are...

  • Silicon Power

    1 week ago


    Bengaluru, Karnataka, India Rivos Full time

    Responsibilities: Imagine yourself at the center of our design effort, collaborating with all fields, playing a strategic role. You will have the opportunity to integrate and comeup with new ideas, as well as work with a team of talented engineers.The main responsibility of this role is to drive the power modeling and optimization: Work with architects to...

  • Formal DV Engineer

    1 week ago


    Bengaluru, Karnataka, 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, Karnataka, India Analog Devices Full time

    Job Posting Title: Senior Engineer - Design Verification:End to End verification ownership of IP or Subsystem or SOC levelVerification 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 testplans,...


  • Bengaluru, Karnataka, 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.The Silicon IP...


  • Bengaluru, Karnataka, India MediaTek Full time

    Job DescriptionKey QualificationsPreferably BE/B.Tech/ME/M.Tech in EEE/ECE/CSE with 5-12 years of relevant industry experience.Should have experience in verification methodology.Architecting and development of testbench, test-bench components for ISA features, clock/reset/power features of processor.Strong assembly and CPU (x86/ARM/RISC-V) architecture...