Expert Formal Verification Professional

1 week ago


Bengaluru, Karnataka, India beBeeVerification Full time ₹ 15,00,000 - ₹ 25,00,000

**Formal Verification Expertise

  • We are seeking an experienced formal verification professional to develop and implement cutting-edge verification strategies for complex digital design blocks.
  • As a key member of our team, you will be responsible for creating properties and constraints using formal verification tools to ensure the accuracy of our designs.
  • Our ideal candidate will have a strong background in verification methodologies and languages such as UVM and System Verilog, with experience in designing and maintaining verification test benches and environments.

**Required Skills and Qualifications**

  • Bachelor's degree in Electrical Engineering, Computer Science, or equivalent practical experience.
  • Minimum 3 years of experience in formal verification methodologies and languages such as UVM and System Verilog.
  • Experience with designing and maintaining verification test benches and environments.

**Benefits and Opportunities**

  • Opportunity to work on complex digital design blocks and develop innovative verification strategies.
  • Collaborative and dynamic work environment with experienced professionals.
  • Professional growth and development opportunities.

  • Formal verification

    19 hours ago


    Bengaluru, Karnataka, India Quest Global Full time ₹ 15,00,000 - ₹ 25,00,000 per year

    Job Requirements Formal Verification Engineer Job DescriptionOverviewWe're looking for a highly skilled Formal Verification Engineer to join our team. You'll be responsible for using formal methods to ensure the correctness and functional safety of our cutting-edge hardware designs. This role requires a deep understanding of digital logic, formal...

  • Formal Verification

    3 weeks ago


    Bengaluru, Karnataka, India L&T Technology Services Full time

    As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.)- Experience with at least one formal verification tool (e.g.,...

  • Formal Verification

    3 weeks ago


    Bengaluru, Karnataka, India L&T Technology Services Full time

    As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.) Experience with at least one formal verification tool (e.g.,...

  • Formal Verification

    2 weeks ago


    Bengaluru, Karnataka, India L&T Technology Services Full time

    As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.)Experience with at least one formal verification tool (e.g.,...


  • Bengaluru, Karnataka, India beBeeVerification Full time ₹ 22,34,740 - ₹ 25,18,029

    Job Title: Formal Verification ExpertOverview:The role of Formal Verification Expert entails the ownership of property-based formal verification of CPU core, pipeline stages, and subcomponents with exhaustive proof goals.Key Responsibilities:Leading planning and methodology for control logic, pipelines, and memory subsystems to ensure comprehensive formal...


  • Bengaluru, Karnataka, India beBeeVerification Full time ₹ 15,00,000 - ₹ 28,00,000

    Formal Verification ExpertWe are seeking a seasoned Formal Verification Expert to join our team.The ideal candidate is someone with extensive experience in applying formal verification methods to complex IPs for CPU, GPU, and high-speed protocols.Responsibilities include:Complete ownership and execution of formal verification of cache controllers,...


  • Bengaluru, Karnataka, India beBeeVerification Full time ₹ 15,00,000 - ₹ 20,00,000

    Formal Verification SpecialistAbout The RoleWe are seeking a skilled Formal Verification Specialist to join our team. As a key member of our verification group, you will be responsible for conducting formal verification of IP and/or SoC microarchitecture using advanced tools, methodologies, and technologies based on model checking and equivalence checking...


  • Bengaluru, Karnataka, India beBeeVerification Full time US$ 1,50,000 - US$ 2,50,000

    Job Title: Senior Formal Verification Manager">Key Responsibilities: We are seeking an experienced professional to lead formal verification efforts for complex digital designs. Key responsibilities include leading cross-functional teams, developing and implementing formal verification strategies, and ensuring the delivery of high-quality products.">Required...


  • Bengaluru, Karnataka, India L&T Technology Services Full time

    L&T Technology Services is hiring for Formal Verification Engineers with 5+ years of experience.Job Location: Bangalore, India.Job Description is mentioned in details::As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Connectivity IP, Audio and Image Processing IP, Neural Networks...


  • Bengaluru, Karnataka, India L&T Technology Services Full time

    Dear LinkedIn reader, L&T Technology Services has futuristic VLSI IPs that address some of the pressing needs of the semiconductor industry. Services include but not limited to Turnkey SoC development, Pre-Si verification, RTL design, Post-Si validation, Physical design, Design for testing, Static timing analysis, FPGA design & FabricationWe are looking...