Current jobs related to Sr Staff Formal Verification Engineer - bangalore - Synopsys Inc

  • Sr staff formal verification engineer

    2 days ago

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

  • Formal Verification Intern

    23 hours ago

    bangalore, India metavlsi Full time

    Following the success of last year’s formal verification internship program, we are excited to launch a new batch! Join us to gain hands-on experience in formal methods, work on cutting-edge chip designs, and collaborate with industry experts. With a guaranteed job opportunity upon successful completion, this is your chance to enhance your skills and...

  • Formal Property Verification(FPV)

    4 weeks ago

    Bangalore Urban, 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...

  • Formal Property Verification(FPV)

    4 weeks ago

    Bangalore Urban, 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...

  • Sr Principal Verification Engineer

    5 days ago

    bangalore, India NXP Semiconductors Full time

    Role Summary: We are part of MCU/MPU Engineering, a central design organization within NXP, developing products for multiple business lines in Automotive, Internet of Things (IoT), Networking, and Radio Frequency products, with expertise in hardware engineering, including architecture, IP, and full SoC Design. MME's Digital IP team produces design solutions...

  • Senior/Staff DFT Engineer

    23 hours ago

    bangalore, India Synopsys Inc Full time

    Sr/Staff DFT Solutions Engineer: We're looking for DFT Solutions Engineer to join our team. The engineer works in a project-oriented environment to deliver complex DFT flows and methodologies across varying industry segments like Autonomous Transportation, Mission critical AI, High performance computing and Mobile networking. The engineer also interacts with...

  • Sr Principal Verification Engineer

    7 days ago

    bangalore, India NXP Semiconductors Full time

    Role Summary: We are part of MCU/MPU Engineering, a central design organization within NXP, developing products for multiple business lines in Automotive, Internet of Things (IoT), Networking, and Radio Frequency products, with expertise in hardware engineering, including architecture, IP, and full SoC Design. MME's Digital IP team produces design...

  • Sr Principal Verification Engineer

    3 days ago

    Bangalore, India NXP Semiconductors Full time

    Role Summary: We are part of MCU/MPU Engineering, a central design organization within NXP, developing products for multiple business lines in Automotive, Internet of Things (IoT), Networking, and Radio Frequency products, with expertise in hardware engineering, including architecture, IP, and full SoC Design. MME's Digital IP team produces design...

  • Senior Design Verification Engineer

    1 week ago

    Bangalore, India UST Full time

    Job Description: - Will be part of a team that handles Verification for complex IP’s and close the Verification to the challenging milestones. - IP Verification: VR creation as per the chip requirements and UVM/OVM Test benches creation - Support in building verification infrastructure at the chip level as per the requirements - Capable of handling...

  • Senior/Staff DFT Engineer

    15 hours ago

    bangalore, India Synopsys Inc Full time

    Sr/Staff DFT Solutions Engineer: We're looking for DFT Solutions Engineer to join our team. The engineer works in a project-oriented environment to deliver complex DFT flows and methodologies across varying industry segments like Autonomous Transportation, Mission critical AI, High performance computing and Mobile networking. The engineer also interacts with...

  • Senior/Staff DFT Engineer

    15 hours ago

    bangalore, India Synopsys Inc Full time

    Sr/Staff DFT Solutions Engineer: We're looking for DFT Solutions Engineer to join our team. The engineer works in a project-oriented environment to deliver complex DFT flows and methodologies across varying industry segments like Autonomous Transportation, Mission critical AI, High performance computing and Mobile networking. The engineer also interacts with...

  • Design Verification Engineer

    6 hours ago

    Bangalore, India Tessolve Full time

    Hello Connections Greetings from Tessolve Semiconductors!! Design and Verification Engineer Verification Engineer/Sr. Engineer/Lead/Managers – ASIC/IP/SOC/CPU (Design Verification ) Location : India/Abroad Experience - 7+ • IP verification Using SV/UVM • SOC Verification using C/SV • Third Party VIP Integration • Interconnect Protocols:...

  • Senior/Lead ASIC Verification Engineer

    1 week ago

    Bangalore/Delhi NCR, India Magna HR Consultant Full time

    Position : ASIC Verification Sr. Engineer/LeadExperience : 5-10 Yrs Job Description :Key Responsibilities :- Develop comprehensive verification plans, including test plans, coverage plans, and verification methodologies.- Define verification scope, identify verification risks, and develop mitigation strategies.- Design and implement robust verification...

  • Design Verification Engineer

    3 days ago

    Bangalore, India Tessolve Full time

    Hello Connections Greetings from Tessolve Semiconductors!! Design and Verification Engineer Verification Engineer/Sr. Engineer/Lead/Managers – ASIC (Design Verification ) Location : India/Abroad Experience - 7+ • IP verification Using SV/UVM • SOC Verification using C/SV • Third Party VIP Integration • Interconnect Protocols:...

  • Design Verification

    15 hours ago

    bangalore, India Eteros Technologies Full time

    Company: Eteros Technologies India Private Limited Eteros Technologies, Inc. is a Semiconductor Engineering services startup, head quartered in the heart of the Silicon Valley, San Jose, CA, USA. Eteros Technologies India Pvt Ltd is a wholly owned subsidiary offices in Bangalore, Noida, Hyderabad and Ahmedabad • Our world-wide customers are amongst The...

  • Design Verification Engineer

    3 weeks ago

    bangalore, India Tessolve Full time

    Hello Connections Greetings from Tessolve Semiconductors!! Design and Verification Engineer Verification Engineer/Sr. Engineer/Lead/Managers – ASIC (Design Verification ) Location : India/Abroad Experience - 4+ • IP verification Using SV/UVM • SOC Verification using C/SV • Third Party VIP Integration • Interconnect Protocols: AHB, AXI, APB •...

  • Senior Design Verification Engineer

    2 days ago

    bangalore, India Prodapt ASIC services (Formerly Innovative Logic) Full time

    Key job responsibilities:As a Senior Design Verification Engineer, you will define verification methodology and implement the corresponding verification plan for the SoC. You will participate in the design verification and bring-up of the SoC by writing relevant tests, coverages, assertions, developing automation infrastructure, debugging code, test benches,...

  • Design Verification Engineer

    3 days ago

    bangalore, India UST Full time

    Who we are:At UST, we help the world’s best organizations grow and succeed through transformation. Bringing together the right talent, tools, and ideas, we work with our client to co-create lasting change. Together, with over 30,000 employees in 25 countries, we build for boundless impact—touching billions of lives in the process. Visit us at e are...

  • Design Verification

    1 week ago

    Bangalore, India Eteros Technologies Full time

    Company: Eteros Technologies India Private Limited Eteros Technologies, Inc. is a Semiconductor Engineering services startup, head quartered in the heart of the Silicon Valley, San Jose, CA, USA. Eteros Technologies India Pvt Ltd is a wholly owned subsidiary offices in Bangalore, Noida, Hyderabad and Ahmedabad • Our world-wide customers are amongst The...

  • Senior Design Verification Engineer

    1 week ago

    Bangalore Urban, India UST Full time

    Job Description:Will be part of a team that handles Verification for complex IP’s and close the Verification to the challenging milestones.IP Verification: VR creation as per the chip requirements and UVM/OVM Test benches creationSupport in building verification infrastructure at the chip level as per the requirementsCapable of handling multiple areas of...

Sr Staff Formal Verification Engineer

2 weeks ago

bangalore, 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 Checks, Design Security, Automotive Safety etc. The team believes in fostering interest and opportunities to work in different aspects of the design verification. You will get to understand verification requirement and identify best suited application (APP) and develop a solution/flow using formal verification apps.



Formal Verification Application Engineering, Staff Engineer


Job Responsibilities

  • Promote adoption of Synopsys Formal Verification Apps to new Customers by delivering presentations and demos
  • Work with Customers to understand their flow requirements and map them to solutions available within Synopsys Formal Verification Apps
  • Collaborate with RnD and Product marketing to develop new flows/functionalities
  • Define formal verification flows and methodologies to improve customer productivity
  • Develop custom scripts, create work arounds, and provide a quick solution while the features are being enhanced.
  • Own the customer relationship, i.e. work with R&D and other teams to make sure customer requirements are well understood and track the development of features required by the customer

Job Requirements

  • EE graduate from reputed school. Post-graduates are preferred
  • 6-10 yrs. of industry experience in RTL design or verification engineers involved in deploying verification methodology using simulation-based technologies
  • Exposure to assertion-based verification (in simulation) is preferred and experience with formal verification tool is desirable but not mandatory
  • Managing verification responsibility for hardware designs, verification consulting experience is desirable
  • Good understanding of hardware design (Verilog/VHDL) and micro-architecture.
  • Exceptional understanding of Unix/Linux automation shell (bash, csh) and scripting (Tcl, Perl, Python)
  • Great oral and written communication skills.
  • Ability to work autonomously
  • Expertise in one or more of scripting/programming languages like TCL/Python/Perl/SKILL
  • Expertise in one or more areas like:
  • Formal Property Verification testbench development
  • Good understanding floating point arithmetic operations, C/C++ and IEEE math libraries
  • Understanding of Security architecture and verification
  • Automotive Safety (FuSa) verification
  • Getting closure and verification signoff with formal