Formal Verification Engineer

2 days ago


Hyderabad, Telangana, India Kaizen Sra Technologies Full time ₹ 15,00,000 - ₹ 25,00,000 per year

Formal Verification

  • Implementation and maintenance of Formal Verification environments in Chisel
  • Applying various FV techniques to reduce complexity and prove correctness of DUT.
  • Debugging RTL to identify causes of failure scenarios.
  • Guide and train team members on effective usage of Formal Verification tools
  • Develop/modify scripts to automate the verification process.
  • Review formal setups and proofs with design and verification teams.
  • Maintain and extend assertion libraries.
  • 7+ years of experience in Formal Verification of Digital Hardware Design
  • Extensive experience with Formal Abstraction Techniques and sign-off process
  • Familiarity with industry-standard Formal Verification Tools, such as VC Formal, Jasper Gold
  • Knowledge of Hardware Description and Verification Languages, such as VHDL, Verilog/ System Verilog
  • Knowledge of Object-oriented Programming is a plus.


  • Hyderabad, Telangana, India AMD Full time ₹ 9,00,000 - ₹ 12,00,000 per year

    Formal Verification EngineerHyderabad, IndiaEngineering67932Job DescriptionWHAT YOU DO AT AMD CHANGES EVERYTHINGWe 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 accelerate next-generation computing experiences – the building blocks for the data...


  • Hyderabad, Telangana, India Advanced Micro Devices, Inc Full time ₹ 8,00,000 - ₹ 12,00,000 per year

    WHAT YOU DO AT AMD CHANGES EVERYTHINGAt AMD, our mission is to build great products that accelerate next-generation computing experiences – from AI and data centers, to PCs, gaming and embedded systems. Grounded in a culture of innovation and collaboration, we believe real progress comes from bold ideas, human ingenuity and a shared passion to create...


  • Hyderabad, Telangana, India AMD Full time ₹ 12,00,000 - ₹ 36,00,000 per year

    WHAT YOU DO AT AMD CHANGES EVERYTHINGWe 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 accelerate next-generation computing experiences - the building blocks for the data center, artificial intelligence, PCs, gaming and embedded. Underpinning our...


  • Hyderabad, Telangana, India Stealth Mode Startup - AI Product Based Company Full time ₹ 20,00,000 - ₹ 25,00,000 per year

    About the Role : We are seeking a talented Senior ASIC Verification Engineer to join our dynamic team. The successful candidate will be responsible for leading and executing verification efforts for complex ASIC designs, ensuring the quality and reliability of our products. This is what you are responsible for : - Develop and maintain verification plans,...

  • Verification Engineer

    2 weeks ago


    Hyderabad, Telangana, India SEMI LEAF Full time ₹ 12,00,000 - ₹ 36,00,000 per year

    Job DescriptionDefine and implement verification strategies and test plans for DDR memory interface designs.Develop UVM/SystemVerilog-based testbenches and reusable verification components.Perform protocol-level verification for DDR memory interfaces and validate compliance.Collaborate with architecture, RTL, and system teams to understand design intent and...


  • Hyderabad, Telangana, India Stealth Mode Startup - AI Product Based Company Full time ₹ 20,00,000 - ₹ 25,00,000 per year

    Job Title : Verification Engineer (hardware) We are seeking an exceptional Senior ASIC Verification Engineer to join our innovative semiconductor team. You will lead verification initiatives for complex ASIC designs and drive technical excellence across projects. About the Role : You will be responsible for developing advanced verification...

  • Verification Engineer

    2 weeks ago


    Hyderabad, Telangana, India Semtech Corporation Full time ₹ 5,00,000 - ₹ 15,00,000 per year

    Our Team:Semtech Corporation is a leading supplier of analog and mixed-signal semiconductors for high-end consumer, enterprise computing, communications, and industrial equipment. As our future market opportunities have increased in recent years, we have continued to invest in disruptive analog platforms and have created innovative new solutions for a wide...


  • Hyderabad, Telangana, India, Telangana ACL Digital Full time

    Experience: 5 YearsLocation: Bangalore/HyderabadEducation: B.E/B.Tech in ECE/EEE or M.E/M.Tech in VLSI/ElectronicsRoles and ResponsibilitiesDDR Verification: Lead the verification of DDR memory controller and PHY designs, ensuring compliance with DDR standards such as DDR3, DDR4, DDR5, and other memory interface protocols.Testbench Development: Develop and...


  • Hyderabad, Telangana, India WiSig Networks Full time ₹ 20,00,000 - ₹ 25,00,000 per year

    Company DescriptionIncubated at IIT-Hyderabad in 2016, WiSig Networks is located in the heart of Hyderabad. With over 100 researchers and engineers, the company leads in the development and licensing of 5G intellectual property. WiSig Networks collaborates with semiconductor and processor companies to create reference platforms for 5G technologies and...


  • Hyderabad, Telangana, India MosChip® Full time ₹ 1,04,000 - ₹ 1,30,878 per year

    Company Description:MosChip Technologies is a publicly traded company specializing in Silicon and Product Engineering solutions, with over 1300 engineers located in Silicon Valley-USA and India. The company offers comprehensive engineering solutions in silicon design, verification, systems, software, device engineering, AI/ML design, and test automation....