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

  • Sr Staff Formal Verification Engineer

    3 weeks ago

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

  • Sr Staff Formal Verification Engineer

    3 weeks ago

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

  • Sr Staff Formal Verification Engineer

    3 weeks ago

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

    3 weeks ago

    Bangalore Urban, 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 Verification Intern

    3 weeks ago

    Bangalore Urban, 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 Verification Intern

    3 weeks ago

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

  • Lead verification engineer

    2 weeks ago

    bangalore, India Tessolve Full time

    ### Job Description: ASIC Design Verification Engineer **Location:** - Bangalore, Chennai, Hyderabad, Noida,Malaysia, Germany. **Experience Range:** 4 to 20+ years **Key Responsibilities:** - Develop and execute test plans to verify complex ASIC designs. - Utilize System Verilog (SV) and UVM methodologies for verification tasks. - Perform functional,...

  • Senior/Staff DFT Engineer

    3 weeks 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...

  • Sr Principal Verification Engineer

    3 weeks ago

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

  • Sr Principal Verification Engineer

    3 weeks ago

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

  • Sr Staff Verification Engineer

    3 weeks ago

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

  • Sr Staff Verification Engineer

    3 weeks ago

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

  • Sr Principal Verification Engineer

    3 weeks ago

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

  • Design Verification Engineer

    4 weeks 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:...

  • Sr Staff Verification Engineer

    3 weeks ago

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

  • Sr Staff Verification Engineer

    3 weeks ago

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

  • Sr Staff Verification Engineer

    3 weeks ago

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

  • Design Verification Engineer

    3 days ago

    bangalore, India ADROITEC SYSTEMS PVT LTD Full time

    Job Title: Design Verification Engineer (3+ Years Experience) Location: (Bangalore/Hyderabad) Experience: 3+ Years Domain: SoC/IP/ASIC Verification Notice Period : Immediate to 15 Days About the Role We are looking for a Design Verification Engineer with 3+ years of experience in IP/ SoC level Verification. This role is ideal for engineers who are passionate...

  • Senior Design Verification Engineer

    2 weeks ago

    Bangalore, India eInfochips (An Arrow Company) Full time

    JOB DESCRIPTION, ROLE & RESPONSIBILITES POSITION TITLE: Technical Lead – ASIC Design Verification LOCATION: Bangalore/ Hyderabad/ Pune/ Chennai/ Ahmedabad POSITION SUMMARY The candidate should have direct and first-hand experience working in managing 4 -10 member engineering team – and servicing clients in Project (ODC) based execution model as well...

  • Looking for Formal Verification Engineer with Jasper Gold experience

    3 weeks ago

    Bangalore Urban, India UST Full time

    Hi All, Looking for Experience : ( 3 to 5 years ) Formal verification Tool : Jasper Gold Should have a good understanding of SVA. Work is mostly related to Sequential Equivalence Checking. Please share your resume to Regards, Jaya

Sr Staff Formal Verification Engineer

1 week 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