Senior Formal Verification Expert

2 weeks ago


Toronto, Ontario, Canada Flexstaf IT Full time

Job Title: Formal Design Verification Engineer

This role involves utilizing formal verification technologies to ensure the functional correctness of custom AI inference IP components. The successful candidate will use formal property verification, sequential equivalence checking, and data path validation to drive the design verification process.

Responsibilities:

  • Develop and execute verification plans for multiple components. This includes debugging issues and achieving coverage closure.
  • Evaluate various formal verification technologies and flows to improve the design verification methodology.

Requirements:

  • Knowledge of property checking languages such as SystemVerilog Assertion (SVA) and HDL languages like SystemVerilog or Verilog.
  • Familiarity with AMBA protocols such as AHB, APB, and AXI.
  • Understanding of computer architecture and RISC-V ISA.
  • Proficiency in scripting languages like Python.
  • Bachelor's or Master's degree in Electrical Engineering or Computer Engineering.
  • 3 years of experience in design verification with 2 years in formal verification.

Remote Work: No



  • Toronto, Ontario, Canada Flexstaf IT Full time

    At Flexstaf IT, we are seeking a highly skilled Formal Design Verification Engineer to join our team. The successful candidate will utilize formal verification technologies to perform functional verification of design blocks inside Custom AI Inference IP.This role involves driving formal verification methodology on multiple components inside Custom AI...


  • Toronto, Ontario, Canada Flexstaf IT Full time

    At Flexstaf IT, we are seeking a skilled Formal Design Verification Engineer to join our team. The successful candidate will utilize formal verification technologies to perform functional verification of design blocks inside Custom AI Inference IP.Key Responsibilities:Develop and execute formal verification methodologies on multiple components inside Custom...


  • Toronto, Ontario, Canada Flexstaf IT Full time

    At Flexstaf IT, we're seeking a skilled Formal Design Verification Engineer to join our team. In this role, you'll utilize formal verification technologies to ensure the functional correctness of custom AI inference IP design blocks.Key Responsibilities:Develop and execute formal verification methodologies for multiple components within custom AI inference...


  • Toronto, Ontario, Canada Flexstaf IT Full time

    Job Title: Formal Design Verification EngineerThis position is for a Formal Design Verification Engineer. The successful candidate will use formal verification technologies to perform functional verification of design blocks inside Custom AI IPs.Key Responsibilities:Drive Formal Verification Methodology on multiple components inside Custom AI Inference...


  • Toronto, Ontario, Canada Flexstaf IT Full time

    Job Title: Formal Design Verification EngineerFlexstaf IT is seeking a skilled Formal Design Verification Engineer to join our team.About the RoleThis position involves using formal verification technologies to perform functional verification of design blocks inside Custom AI Inference IP. The successful candidate will drive formal verification methodology...


  • Toronto, Ontario, Canada Flexstaf IT Full time

    At Flexstaf IT, we are seeking a skilled Formal Design Verification Engineer to join our team. The successful candidate will utilize formal verification technologies to perform functional verification of design blocks inside Custom AI Inference IP.Key Responsibilities:Drive Formal Verification Methodology on multiple components inside Custom AI Inference...


  • Toronto, Ontario, Canada Flexstaf IT Full time

    At Flexstaf IT, we are seeking a skilled Formal Design Verification Specialist to join our team. This position involves using formal verification technologies to perform functional verification of design blocks inside Custom AI Inference IP.Key Responsibilities:Develop and execute formal verification plans, debug issues, and achieve coverage closure for...


  • Toronto, Ontario, Canada Flexstaf IT Full time

    Job Description:This is a challenging position for a Formal Design Verification Engineer at Flexstaf IT, requiring expertise in formal verification technologies to perform functional verification of design blocks inside Custom AI Inference IP.The successful candidate will utilize formal verification methodologies, including property checking languages such...


  • Toronto, Ontario, Canada Lightmatter Full time

    Job Title: Senior Staff Design Verification EngineerLightmatter is seeking a highly skilled Senior Staff Design Verification Engineer to join our team. As a key member of our design verification team, you will be responsible for ensuring the integrity of our designs through rigorous verification and validation processes.Responsibilities:Develop and implement...


  • Toronto, Ontario, Canada Lightmatter Full time

    Design Verification Engineer RoleAt Lightmatter, we're pushing the boundaries of artificial intelligence computing clusters. If you're a collaborative engineer or scientist with a passion for innovation, solving challenging technical problems, and doing impactful work, consider this opportunity.As a Design Verification Engineer, you'll be at the heart of our...


  • Toronto, Ontario, Canada Lightmatter Full time

    Design Verification EngineerLightmatter is a cutting-edge technology company that builds chips for extreme-scale artificial intelligence computing clusters. We're seeking a highly skilled Design Verification Engineer to join our dynamic, interdisciplinary team.Key ResponsibilitiesCollaborate closely with digital design experts to develop comprehensive test...


  • Toronto, Ontario, Canada Flexstaf IT Full time

    Job DescriptionFlexstaf IT is seeking a highly skilled Formal Design Verification Engineer to join our team. The successful candidate will utilize formal verification technologies to perform functional verification of design blocks inside Custom AI Inference IPs.Responsibilities:Drive the development and implementation of formal verification methodologies on...


  • Old Toronto, Ontario, Canada Lightmatter Full time

    At Lightmatter, we're pushing the boundaries of what's possible with photonic computers. As a Design Verification Engineer, you'll be at the forefront of this innovation, working closely with our digital design experts to ensure the highest quality of our AI computing chips.Key responsibilities include developing comprehensive test plans, designing and...


  • Toronto, Ontario, Canada NVIDIA Full time

    NVIDIA is seeking a skilled Senior Memory Controller Verification Specialist to join our team of experts in Tegra SoCs. Our team is dedicated to pushing the boundaries of what is possible today and defining the platform for the future of computing.In this role, you will collaborate with the design team to make informed implementation choices, develop...


  • Toronto, Ontario, Canada NVIDIA Full time

    NVIDIA is seeking a skilled Senior Memory Controller Verification Specialist to join our team of experts in Tegra SoCs. At NVIDIA, we have a global team of outstanding individuals who are dedicated to pushing the boundaries of what is possible today and defining the platform for the future of computing.In this position, you will collaborate with the design...


  • Toronto, Ontario, Canada Lightmatter Full time

    Design Verification EngineerLightmatter is a cutting-edge technology company that builds chips for extreme-scale artificial intelligence computing clusters. We're seeking a talented Design Verification Engineer to join our dynamic team.Key ResponsibilitiesCollaborate with digital design experts to develop comprehensive test plans and implement UVM...


  • Toronto, Ontario, Canada NVIDIA Full time

    Senior Memory Controller Verification EngineerNVIDIA is a global leader in innovative technologies, crafting a team of outstanding individuals to push the boundaries of what is possible today and define the future of computing.In this role, you will collaborate with our design team to make strategic implementation choices, develop verification test plans,...


  • Toronto, Ontario, Canada NVIDIA Full time

    OverviewNVIDIA is a global leader in innovative technologies, shaping the future of computing. Our team strives to push boundaries and define new frontiers.Job SummaryWe are seeking a skilled Senior Memory Controller Verification Engineer to join our Tegra SoCs team at NVIDIA. This position offers a unique opportunity to make a real impact on multiple...


  • Toronto, Ontario, Canada NVIDIA Full time

    NVIDIA is a leading technology company in the field of graphics processing units (GPUs) and artificial intelligence (AI). We are seeking an elite ASIC Verification Engineer to join our team.The position offers the opportunity to have a real impact on the design and implementation of industry-leading SoCs and GPUs. Our team is dynamic, technology-focused, and...


  • Old Toronto, Ontario, Canada Lightmatter Full time

    Design Verification EngineerLightmatter is a pioneering photonic computer company that's redefining the boundaries of what computers and humans can achieve. Our mission is to build engines that will power discoveries and drive progress in a sustainable way. We're tackling the environmental nightmare of traditional transistors and data centers by leveraging...