Synopsys Inc | Sr Staff Formal Verification Engineer | delhi

3 weeks ago


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



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


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


  • delhi, India Synopsys Inc Full time

    Education B.E./B.Tech/ME/M.Tech Electronics and CommunicationExperience4-8 years’ experience in the verification domainDeep protocol insight in ETHERNET , AMBA, OTN protocolHands on experience of developing complex protocols verification components with SystemVerilog, Verilog and OVM/UVM methodology; C/C++ knowhow is plusGood knowledge of simulation...


  • delhi, India Synopsys 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...


  • Delhi, India Synopsys Inc Full time

    Alternate Job Titles:Staff Applications EngineerHPC Applications EngineerStaff EDA EngineerWe Are:At Synopsys, we drive the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning machines. We lead in chip design, verification, and IP integration, empowering the...


  • delhi, India Synopsys Inc Full time

    Enables adoption of Synopsys Design for AMS and Custom (PrimesimHspice, XA and Custom Compiler) solutions, by worldwide customers. Provides technical help to customers and internal Synopsys teams to solve complex technical issues, faced during the development of ASICs in the leading-edge technologies. Responds to situations to isolate or fix problems or...


  • delhi, India Synopsys Inc Full time

    Job Description and Requirements : Education B.E./B.Tech/ME/M.Tech Electronics and Communication Experience 3-8 years’ experience in the verification domain Deep protocol insight in NVMe, DDR4/5, DIMMs, HBM2/3 protocol Hands on experience of developing complex protocols verification components with System Verilog, Verilog and OVM/UVM methodology; C/C++...


  • Delhi, India Synopsys Inc Full time

    Senior Staff FPGA Design Engineers (prototyping)Location: BangaloreExperience: 8yrs - 12yrsOverview:Synopsys’s HAPS Based Prototyping includes HAPS hardware and HAPS ProtoCompiler tools that provide design automation and debug for the HAPS Series of FPGA-based prototypes. Features include FPGA synthesis for HAPS, system planning, RTL debug and system...


  • delhi, India Synopsys Inc Full time

    Education B.E./B.Tech/ME/M.Tech Electronics and Communication Experience 4-8 years’ experience in the verification domain Deep protocol insight in ETHERNET , AMBA, OTN protocol Hands on experience of developing complex protocols verification components with System Verilog, Verilog and OVM/UVM methodology; C/C++ knowhow is plus Good knowledge of...


  • Delhi, India Synopsys Inc Full time

    Education B.E./B.Tech/ME/M.Tech Electronics and CommunicationExperience4-8 years’ experience in the verification domainDeep protocol insight in ETHERNET , AMBA, OTN protocolHands on experience of developing complex protocols verification components with SystemVerilog, Verilog and OVM/UVM methodology; C/C++ knowhow is plusGood knowledge of simulation...


  • delhi, India Synopsys Inc Full time

    EducationB.E./B.Tech/ME/M.Tech Electronics and CommunicationExperience4-8 years’ experience in the verification domainDeep protocol insight in ETHERNET , AMBA, OTN protocolHands on experience of developing complex protocols verification components with SystemVerilog, Verilog and OVM/UVM methodology; C/C++ knowhow is plusGood knowledge of simulation and/or...


  • Delhi, India Synopsys Inc Full time

    Senior Staff R & D EngineerJob DescriptionWe are developing next generation Platform Architect tool to design and explore SoC Architecture, Analysis and Optimization for Performance and Power. The tool provides integrated graphical environment and is developed in an Object-Oriented way with C++ and GUI frontend as Qt. As a senior member of the R&D team of...


  • delhi, India Synopsys Inc Full time

    At Synopsys, you will be at the heart of innovations changing how we work and play. Self-driving cars, Artificial Intelligence, cloud, 5G, The Internet of Things. These breakthroughs are ushering in the era of Smart Everything. Synopsys powers it all with the world’s most advanced technologies for chip design and software security. If you have a passion...


  • Delhi, India Synopsys Inc Full time

    We’re looking for an experienced professional (5+ Years) to join our team in Bangalore as a DFT Solution Engineer, The role requires a blend of technical expertise in DFT and collaboration skills to engage with both internal stakeholders effectively.- Staff/Sr Staff DFT Engineer (Solutions Engineering)- Experience : 5yrs to 10 years- Location: Bangalore-...


  • Delhi, India Synopsys Inc Full time

    Alternate Job Titles:- Staff Applications Engineer- HPC Applications Engineer- Staff EDA EngineerWe Are:At Synopsys, we drive the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning machines. We lead in chip design, verification, and IP integration, empowering...


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


  • Delhi, India Synopsys Inc Full time

    EducationB.E./B.Tech/ME/M.Tech Electronics and CommunicationExperience4-8 years’ experience in the verification domainDeep protocol insight inETHERNET , AMBA, OTN protocolHands on experience of developing complex protocols verification components with SystemVerilog, Verilog and OVM/UVM methodology; C/C++ knowhow is plusGood knowledge of simulation and/or...


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


  • Delhi, India Synopsys Inc Full time

    Job Description and Requirements-Must have BSEE and 2+yrs exp or MSEE with ~1 yrs experience-Work on projects or processes within area of responsibility in defined components-Productive professional who applies practical knowledge of organization policies & procedures to resolve variety of issues within functional area.-Sound fundamentals in Digital...

  • Staff DFT CAD Engineer

    3 months ago


    delhi, India Synopsys Inc Full time

    We are looking for a Solutions Engineer Staff to join the team. Does this sound like a good role for you? Develop Synopsys Silicon Lifecycle Management tool flows, methodologies, and automation to meet test requirements for High volume manufacturing, Production, In-ramp, In-Field etc., that includes Memory BIST, Logic BIST, Scan compression, Boundary scan,...