Current jobs related to Formal Verification - Bengaluru, Karnataka - Synopsys

  • Formal Verification Specialist

    3 weeks ago

    Bengaluru, Karnataka, India Tech Mahindra Full time

    Key Responsibilities:We are seeking a skilled Formal Verification Engineer to join our team at Tech Mahindra. The successful candidate will be responsible for developing and executing formal verification plans, including test plans and assertion-based verification strategies for digital designs.Key Responsibilities:Develop and execute formal verification...

  • Formal Verification Specialist

    2 weeks ago

    Bengaluru, Karnataka, India Tech Mahindra Full time

    Key Responsibilities:We are seeking a skilled Formal Verification Engineer to join our team at Tech Mahindra.• 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.•...

  • Formal Verification Expert

    4 days ago

    Bengaluru, Karnataka, India Tech Mahindra Full time

    Key Responsibilities:Design and execute formal verification plans, incorporating test plans and assertion-based verification strategies for digital designs.Apply formal methods such as model checking and equivalence checking to verify complex blocks of RTL designs.Collaborate with design and verification teams to ensure comprehensive coverage of all design...

  • Formal Verification Expert

    3 days ago

    Bengaluru, Karnataka, India NVIDIA Full time

    Job Title: Formal Verification ExpertAbout the Role:NVIDIA is seeking a highly skilled Formal Verification Expert to join our team. As a key member of our verification team, you will be responsible for formally verifying complex designs, ensuring that our products meet the highest standards of quality and reliability.Key Responsibilities:Apply formal...

  • Formal Verification Specialist

    3 weeks ago

    Bengaluru, Karnataka, India NVIDIA Full time

    Job Title: Formal Verification EngineerNVIDIA is seeking a skilled Formal Verification Engineer to join our team. As a key member of our design verification group, you will be responsible for formally verifying complex designs and ensuring the quality of our products.Key Responsibilities:Develop and implement formal verification methodologies to verify...

  • Formal Verification Specialist

    3 days ago

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

  • Formal Verification Expert

    1 week ago

    Bengaluru, Karnataka, India NVIDIA Full time

    NVIDIA is seeking a skilled Formal Verification Engineer to verify the design and implementation of complex SoCs and GPUs. This position offers the opportunity to have a real impact in a dynamic, technology-focused company that is shaping the future of computing.The successful candidate will be responsible for formally verifying complex designs using...

  • Formal Verification Expert

    4 days ago

    Bengaluru, Karnataka, India metavlsi Full time

    Job RequirementsWe are seeking a highly skilled Formal Verification Engineer to join our team at metavlsi. The ideal candidate will have a strong background in formal verification techniques and a deep understanding of digital logic design and verification.Key Responsibilities:Minimum 2+ years of experience in formal verification is required.Advanced...

  • Formal Verification Specialist

    3 weeks ago

    Bengaluru, Karnataka, India Rakiya Information Technology Solutions Full time

    We are seeking a skilled Formal Verification Engineer to join our team at Rakiya Information Technology Solutions.Key Responsibilities:• Conduct formal verification of software and hardware systems using tools such as LEC, LINT, Spyglass, CDC, and PLC.Requirements:• 0.6 months to 1 year of experience in formal verification.What We Offer:• A dynamic and...

  • Formal Verification Specialist

    2 weeks ago

    Bengaluru, Karnataka, India Rakiya Information Technology Solutions Full time

    We are seeking a skilled Formal Verification Engineer to join our team at Rakiya Information Technology Solutions.Key Responsibilities:• Conduct formal verification of software and hardware systems using tools such as LEC, LINT, Spyglass, CDC, and PLC.Requirements:• 0.6 to 1 year of experience in formal verification.About Us:Rakiya Information Technology...

  • Senior Formal Verification Specialist

    7 days ago

    Bengaluru, Karnataka, India NVIDIA Full time

    Formal Verification Engineer Role at NVIDIANVIDIA is a world leader in graphics processing and artificial intelligence. Our team is seeking a skilled Formal Verification Engineer to join our dynamic and technology-focused organization.The successful candidate will be responsible for formally verifying complex designs, utilizing NVIDIA's strong functional...

  • Formal Verification Engineer

    2 weeks ago

    Bengaluru, Karnataka, India NVIDIA Full time

    NVIDIA is seeking a skilled Formal Verification Engineer to verify the design and implementation of complex SoCs and GPUs. This position offers the opportunity to have a real impact in a dynamic, technology-focused company impacting product lines ranging from consumer graphics to self-driving cars and artificial intelligence.The successful candidate will be...

  • Formal Verification Engineer

    2 weeks ago

    Bengaluru, Karnataka, India NVIDIA Full time

    About NVIDIANVIDIA is a leader in the field of artificial intelligence, graphics, and high-performance computing. Our team is passionate about pushing the boundaries of what is possible today and defining the platform for the future of computing.Job SummaryWe are seeking a highly skilled Formal Verification Engineer to join our team. As a Formal Verification...

  • Senior Verification Engineer

    2 weeks ago

    Bengaluru, Karnataka, India Analog Devices Full time

    Analog Devices, Inc. is a global semiconductor leader that bridges the physical and digital worlds to enable breakthroughs at the Intelligent Edge. Our team is responsible for developing innovative verification solutions that help drive advancements in digitized factories, mobility, and digital healthcare.Key Responsibilities:End-to-end verification...

  • Senior Verification Engineer

    3 weeks ago

    Bengaluru, Karnataka, India Analog Devices Full time

    Job Title: Senior Engineer, Design VerificationAnalog Devices, Inc. is a global leader in semiconductor innovation, bridging the physical and digital worlds to drive breakthroughs at the Intelligent Edge. Our solutions combine analog, digital, and software technologies to enable advancements in digitized factories, mobility, and digital healthcare, while...

  • Principal Design Verification Specialist

    3 weeks ago

    Bengaluru, Karnataka, India Microsoft Full time

    Job Title: Principal Design Verification SpecialistMicrosoft is a leader in innovation, collaborating across disciplines to create cutting-edge technology that transforms our world. Our Silicon team designs custom silicon for a diverse range of systems, from innovative consumer products like Xbox to high-performance Azure cloud servers, clients, and...

  • Senior Verification Engineer

    1 week ago

    Bengaluru, Karnataka, India Analog Devices Full time

    Job DescriptionWe are seeking a highly skilled Senior Verification Engineer to join our team at Analog Devices. As a key member of our verification team, you will be responsible for leading the verification effort for complex digital SOCs, including end-to-end SOC verification, verification of complex microprocessor designs, and high-speed peripherals.Key...

  • Senior Verification Engineer

    1 week ago

    Bengaluru, Karnataka, India Analog Devices Full time

    Job Title: Senior Verification EngineerJob Summary:We are seeking a highly skilled Senior Verification Engineer to lead our pre-silicon verification efforts for complex SOC and subsystem designs. As a key member of our verification team, you will be responsible for developing and implementing verification methodologies, testbenches, and flows to ensure the...

  • Senior Verification Engineer

    2 weeks ago

    Bengaluru, Karnataka, India Analog Devices Full time

    Job Title: Senior Verification Engineer - Design VerificationAbout the Role:We are seeking a highly skilled Senior Verification Engineer to join our team at Analog Devices. As a Senior Verification Engineer, you will be responsible for designing and developing verification environments for complex microprocessor designs, neural nets, and high-speed...

  • Senior Verification Engineer

    2 weeks ago

    Bengaluru, Karnataka, India Analog Devices Full time

    Job DescriptionWe are seeking a highly skilled Senior Verification Engineer to join our team at Analog Devices. As a key member of our verification team, you will be responsible for leading the verification effort for complex digital SOCs.Key Responsibilities:Lead the verification effort for complex digital SOCs, including end-to-end SOC verification.Verify...

Formal Verification

3 months ago

Bengaluru, Karnataka, India Synopsys Full time
Job DutiesResponsible for Field Application Engineering activities for verification products from SynopsysThe role involves working very closely with all the semiconductor companies in the region, understanding customer needs on design verification (static, formal or dynamic etc), drive adoption of right methodologies and respective Synopsys products for successful project completion.In this role, you will work with technical account manager and world-wide account teams for forming strategies and successfully driving Synopsys tools for customer projects to enable business success for Synopsys
Academic/Job Qualifications:Required BE/B.Tech in Electronics and Communication (E&C) or CSEDesired: ME/M.Tech in VLSI or Microelectronics
Work Experience5-10 years in Digital Design/Functional Verification domainIn the past roles, should have served in roles like Application Engineer, Design/Verification engineer, Methodology engineer in handling medium to high complexity ASICs/FPGAs
Technical SkillsStrong hold on VHDL/Verilog and SystemVerilog.RTL and understanding of ASIC design flowsExperience and working knowledge of static (Lint, CDC, RDC, Constraints etc) or Formal (Property checking, SVA, equivalence checking, connectivity, Functional safety etc) or Dynamic verification methodologies (simulation, emulation or prototyping)Simulation/Verification using directed tests, constraint random testing, assertions and coverage driven verification methods; RTL and Gate Level (GLS) verification and debug would be plusExposure to C, python, UVM Strong working knowledge in EDA tools like VCS, VC Formal, VC SpyGlass, Verdi is required.
Soft SkillsResolves issues in creative ways. Exercises autonomous judgment in selecting methods and techniques to obtain solutions.Executes projects from start to completion. Contributes to moderately complex aspects of a projectEstablishes and develops recommendations to solutions. Works on team-driven or task-oriented projects. May guide more junior peers with aspects of their job. Networks with senior internal and external personnel in own area of expertise.Collaborates with customers and publicises creative work and innovative solutions in forums such as SNUG, DVCon etc