Sr staff formal verification engineer

2 weeks ago


Bengaluru, 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

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


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


  • Bengaluru, India Tech Mahindra Full time

    Key Responsibilities:• Develop and execute formal verification plans, including test plans and assertion-based verification strategies for digital designs.• Apply formal methods (model checking, equivalence checking, etc.) to verify complex blocks of RTL designs.• Collaborate with design and verification teams to ensure full coverage of all design...


  • Bengaluru, India Tech Mahindra Full time

    Key Responsibilities: • Develop and execute formal verification plans, including test plans and assertion-based verification strategies for digital designs. • Apply formal methods (model checking, equivalence checking, etc.) to verify complex blocks of RTL designs. • Collaborate with design and verification teams to ensure full coverage of all design...


  • Bengaluru, India Tech Mahindra Full time

    Key Responsibilities:• Develop and execute formal verification plans, including test plans and assertion-based verification strategies for digital designs.• Apply formal methods (model checking, equivalence checking, etc.) to verify complex blocks of RTL designs.• Collaborate with design and verification teams to ensure full coverage of all design...


  • Bengaluru, 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, 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 NVIDIA Full time

    NVIDIA is seeking a skilled Formal Verification Engineer to verify the design and implementation of our world-leading SoCs and GPUs. This role offers the opportunity to make a real impact in a dynamic, technology-focused company with a wide range of products, from consumer graphics to self-driving cars and artificial intelligence.We have a team of...


  • Bengaluru, Karnataka, India Synopsys Inc Full time

    Job DescriptionThe Formal Verification Team at Synopsys Inc is seeking an experienced engineer to join our team.About UsSynopsys EDA Group is a leading provider of electronic design automation (EDA) software and solutions. Our Formal Verification Team works with top-tier customers to deploy high-quality Formal Verification Solutions and Flows on the cutting...


  • Bengaluru, Karnataka, India Rakiya Information Technology Solutions Full time

    Rakiya Information Technology Solutions seeks a skilled Formal Verification Engineer with 0 to 1 year of experience.Key Responsibilities:Develop and implement formal verification techniques for software and hardware systems.Collaborate with cross-functional teams to integrate formal verification into the development process.Requirements:0 to 1 year of...


  • Bengaluru, India Cyient Full time

    Dear CandidateWe, 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/ HyderabadExperience Range: 5-12 YearsJob Description:Looking for an experienced senior verification engineer with 5 years of experience in ASIC/SOC/IP/block level...


  • Bengaluru, India Cyient Full time

    Dear CandidateWe, 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/ HyderabadExperience Range: 5-12 YearsJob Description:Looking for an experienced senior verification engineer with > 5 years of experience in ASIC/SOC/IP/block...


  • Bengaluru, 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 ASIC/SOC/IP/block...


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

    Back **SMTS - Formal Verification**: - Bangalore, India - Engineering - 36482 mail_outline Get 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...


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


  • Bengaluru, India Metavlsi Full time

    Minimum 2+ years of experience is requiredAdvanced knowledge of So C/CPU/GPU/Cellular designs, VLSI, and digital logic design and verification techniquesDeveloped formal property proofs on industrial strength designs and architecturesDeep understanding of pipeline architectures, memory/DMA controllers, out-of-order and speculative instruction execution...


  • Bengaluru, India metavlsi Full time

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


  • Bengaluru, India metavlsi Full time

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


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

  • Formal Verification

    6 months ago


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

    Back **Formal Verification (3+ years)**: - Bangalore, India - Engineering - 29054 mail_outline Get 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...