Sr staff formal verification engineer

12 hours 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 Rn D 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 (Fu Sa) verification Getting closure and verification signoff with formal



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


  • Bangalore, India Cyient Full time

    Dear Candidate We, Cyient is hiring for one of the Senior position: Senior Staff Engineer: SOC Verification (Offshore-Onshore Model based Global Product Solution) Position. Base Location: Bangalore/ Hyderabad Experience Range: 5-12 Years Job Description: Looking for an experienced senior verification engineer with 5 years of experience in...


  • bangalore, India metavlsi Full time

    Minimum 2+ years of experience is required Advanced knowledge of SoC/CPU/GPU/Cellular designs, VLSI, and digital logic design and verification techniques Developed formal property proofs on industrial strength designs and architectures Deep understanding of pipeline architectures, memory/DMA controllers, out-of-order and speculative instruction execution...


  • bangalore, India L&T Semiconductor Technologies Full time

    We are looking for an experienced Manager/Sr. Manager in SoC Verification to join our dynamic team and contribute to the development of cutting-edge SoC solutions. As a Manager/Sr. Manager - ASIC SoC Verification you will play a key role in leading and managing a medium size SoC verification team. This role offers the opportunity to combine hands-on...


  • Bangalore, India L&T Semiconductor Technologies Full time

    We are looking for an experienced Manager/Sr. Manager in SoC Verification to join our dynamic team and contribute to the development of cutting-edge SoC solutions. As a Manager/Sr. Manager - ASIC SoC Verification you will play a key role in leading and managing a medium size SoC verification team. This role offers the opportunity to combine hands-on...


  • bangalore, India L&T Semiconductor Technologies Full time

    We are looking for an experienced Manager/Sr. Manager in SoC Verification to join our dynamic team and contribute to the development of cutting-edge SoC solutions.As a Manager/Sr. Manager - ASIC SoC Verification you will play a key role in leading and managing a medium size SoC verification team. This role offers the opportunity to combine hands-on...


  • Bangalore, India L&T Semiconductor Technologies Full time

    We are looking for an experienced Manager/Sr. Manager in So C Verification to join our dynamic team and contribute to the development of cutting-edge So C solutions. As a Manager/Sr. Manager - ASIC So C Verification you will play a key role in leading and managing a medium size So C verification team. This role offers the opportunity to combine ...


  • bangalore, India L&T Semiconductor Technologies Full time

    We are looking for an experienced Manager/Sr. Manager in SoC Verification to join our dynamic team and contribute to the development of cutting-edge SoC solutions.As a Manager/Sr. Manager - ASIC SoC Verification you will play a key role in leading and managing a medium size SoC verification team. This role offers the opportunity to combine hands-on...


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


  • bangalore, India L&T Semiconductor Technologies Full time

    We are looking for an experienced Manager/Sr. Manager in SoC Verification to join our dynamic team and contribute to the development of cutting-edge SoC solutions.As a Manager/Sr. Manager - ASIC SoC Verification you will play a key role in leading and managing a medium size SoC verification team. This role offers the opportunity to combine hands-on technical...


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


  • bangalore, India Modernize Chip Solutions (MCS) Full time

    Responsibilities: Develop and execute verification plans for complex digital RTL. Utilize the latest verification tools and methodologies, including UVM (Universal Verification Methodology), System Verilog, and formal verification techniques. Create and maintain testbenches, test cases, and verification environments. Create and automate regression...


  • Bangalore, India Synopsys Inc Full time

    Looking for a high performance individual to work on the Synopsys next generation emulation solutions encompassing Virtual and Physical interface solutions on for PCIE, CXL, USB, Ethernet. The selected candidate will work on product verification and product engineering of these products ensuring all system level scenarios in the concerned product/solution...


  • bangalore, India HCLTech Full time

    Job Summary: We are seeking a highly skilled Design Verification Engineer (DV) to join our growing team and play a vital role in ensuring the quality and functionality of our advanced ASICs and SoCs. This position requires a strong foundation in verification methodologies and the ability to handle complex verification tasks. You will be instrumental in...


  • Bangalore, India HCLTech Full time

    Job Summary: We are seeking a highly skilled Design Verification Engineer (DV) to join our growing team and play a vital role in ensuring the quality and functionality of our advanced ASICs and So Cs. This position requires a strong foundation in verification methodologies and the ability to handle complex verification tasks. You will be instrumental in...


  • bangalore, India Synopsys Inc Full time

    Looking for a high performance individual to work on the Synopsys next generation emulation solutions encompassing Virtual and Physical interface solutions on for PCIE, CXL, USB, Ethernet. The selected candidate will work on product verification and product engineering of these products ensuring all system level scenarios in the concerned product/solution...


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


  • bangalore, India Synopsys Inc Full time

    Looking for a high performance individual to work on the Synopsys next generation emulation solutions encompassing Virtual and Physical interface solutions on for PCIE, CXL, USB, Ethernet. The selected candidate will work on product verification and product engineering of these products ensuring all system level scenarios in the concerned product/solution...


  • bangalore, India Synopsys Inc Full time

    Looking for a high performance individual to work on the Synopsys next generation emulation solutions encompassing Virtual and Physical interface solutions on for PCIE, CXL, USB, Ethernet. The selected candidate will work on product verification and product engineering of these products ensuring all system level scenarios in the concerned product/solution...


  • bangalore, India Synopsys Inc Full time

    Looking for a high performance individual to work on the Synopsys next generation emulation solutions encompassing Virtual and Physical interface solutions on for PCIE, CXL, USB, Ethernet. The selected candidate will work on product verification and product engineering of these products ensuring all system level scenarios in the concerned product/solution...