Senior Formal Verification Engineer

3 days ago


bangalore, India Pure Silicon Solutions Full time
As a Senior Engineer in Formal Verification, you will be responsible for designing, developing, and implementing verification environments using Formal Verification.
Responsibilities, Requirements, and Qualifications
Work on leading-edge ASICs/SoCs or key design IPs with US-based Top Customers.
Bachelor's or Master's Degree in Electrical/Electronics/Computer Engineering or a related field
5+ years of hands-on experience in silicon architecture, design, or verification.
3+ years of hands-on experience in Formal Verification, developing and implementing formal verification environments
Strong understanding of Formal Verification using SystemVerilog Assertions.
Experience in logic and SoC Verification from planning to closure
Good understanding of verification flows and tools, especially Formal Verification tools.
Experience in at least one industry-standard formal verification tool (such as Cadence Jasper Gold, Synopsys VC Formal, or Siemens Questa Formal)
Demonstrated expertise in Digital Logic Design and Computer Architecture
Excellent problem-solving skills and ability to work in a team environment
Prior hands-on work experience in Control and Data Path verification using FV
Excellent verbal and written communication skills.
An ability to interact with customers to understand their requirements and deliver high-quality code is expected.
Other Relevant Information
Reports to the VP of Engineering.
Great visibility. Competitive salary and generous performance bonus.
Opportunity to move to and work on projects in the US for select candidates after 12-24 months

  • bangalore, India Pure Silicon Solutions Full time

    As a Senior Engineer in Formal Verification, you will be responsible for designing, developing, and implementing verification environments using Formal Verification. Responsibilities, Requirements, and Qualifications Work on leading-edge ASICs/SoCs or key design IPs with US-based Top Customers. Bachelor's or Master's Degree in...


  • bangalore, 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...


  • bangalore, 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...


  • bangalore, 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...


  • bangalore, 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)


  • bangalore, 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)


  • bangalore, 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. ...


  • bangalore, India HARMAN India Full time

    Harman India is looking for Senior Design verification Engineer for Bangalore location.Location: BangaloreSkill Set required:JD for Design Verification EngineerExperience Required: 5-10YearsResponsibilitiesVerification Planning: Develop detailed verification plans based on design specifications, outlining the verification strategy, methodologies, and tools...


  • bangalore, 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 ...


  • bangalore, India Arm Full time

    Job Description:In the fast-moving world of CPU Verification, Formal Methods are becoming crucial to the success of today's ever-accelerating development cycle.We are offering the chance to become part of a dedicated team that will deploy Formal on the next generation of CPU designs. This is an opportunity to influence design & verification decisions and...


  • bangalore, India HARMAN India Full time

    Harman India is looking for Senior Design verification Engineer for Bangalore location. Location: Bangalore Skill Set required: JD for Design Verification Engineer Experience Required: 5-10Years Responsibilities Verification Planning: Develop detailed verification plans based on design specifications, outlining the verification strategy, methodologies,...


  • bangalore, India Arm Full time

    Job Description: In the fast-moving world of CPU Verification, Formal Methods are becoming crucial to the success of today's ever-accelerating development cycle. We are offering the chance to become part of a dedicated team that will deploy Formal on the next generation of CPU designs. This is an opportunity to influence design & verification decisions and...


  • bangalore, India LeadSoc Technologies Pvt Ltd Full time

    Company DescriptionLeadSoC Technologies offers cutting-edge Engineering Design services in VLSI and Embedded Systems. With a focus on the Semiconductor, Automotive, Telecom, and Consumer Electronics segments, LeadSoC has been rapidly growing over the past 5 years. They provide end-to-end VLSI design services, including Micro Architecture to Tape Out and Post...


  • bangalore, India Analog Devices Full time

    Analog Devices, Inc. (NASDAQ: ADI) is a global semiconductor leader that bridges the physical and digital worlds to enable breakthroughs at the Intelligent Edge. ADI combines analog, digital, and software technologies into solutions that help drive advancements in digitized factories, mobility, and digital healthcare, combat climate change, and reliably...


  • bangalore, India Analog Devices Full time

    Analog Devices is seeking Senior digital design verification Engineer , who will be responsible for design verification of highly integrated solutions and products in a multifunctional team. You will be working on driving real revenue growth on the next generation of Intelligence at the Edge products across multiple products and business units. About...


  • bangalore, India Analog Devices Full time

    Analog Devices is seeking Senior digital design verification Engineer , who will be responsible for design verification of highly integrated solutions and products in a multifunctional team. You will be working on driving real revenue growth on the next generation of Intelligence at the Edge products across multiple products and business units. About...


  • bangalore, 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 ...


  • bangalore, 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 ...

  • Insemi Technology

    4 weeks ago


    Bangalore, Karnataka, India Insemi Technology Full time

    Company Description : InSemi Technology Services Pvt. Ltd. , founded in 2013, is a design services company specializing in VLSI and embedded systems. With expertise in chip design and embedded domains, we provide engineering design services and bridge the gap between academia and industry. Our VLSI expertise includes memory compiler/custom IP, analog and...

  • Insemi Technology

    2 months ago


    Bangalore, Karnataka, India Insemi Technology Full time

    Company Description : InSemi Technology Services Pvt. Ltd. , founded in 2013, is a design services company specializing in VLSI and embedded systems. With expertise in chip design and embedded domains, we provide engineering design services and bridge the gap between academia and industry. Our VLSI expertise includes memory compiler/custom IP, analog and...