Formal Design Verification Specialist

4 weeks ago


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 IP.
  • Evaluate various formal verification technologies and flows.

Requirements:

  • Knowledge of property checking languages such as SystemVerilog Assertion (SVA) and understanding of HDL languages such as SystemVerilog or Verilog.
  • Familiarity with AMBA protocols such as AHB, APB, and AXI.
  • Knowledge of Computer Architecture and familiarity with RISC-V ISA.
  • Ability to use scripting languages such as Python.
  • Bachelor's or Master's degree in Electrical Engineering or Computer Engineering.
  • 3 years of experience with hands-on design verification and 2 years in formal verification.

Work Arrangement:

No remote work.



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

    Job Title: Formal Design Verification EngineerThis 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...


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


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


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


  • 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

    Design Verification EngineerLightmatter is a pioneering company in the field of photonic computing, pushing the boundaries of what computers and humans can achieve. Our mission is to create sustainable engines that drive progress and discoveries.We are seeking a skilled Design Verification Engineer to join our team. As a key member of our engineering team,...


  • Toronto, Ontario, Canada GEO Semiconductor Inc Full time

    About GEO SemiconductorGEO Semiconductor is a leading provider of programmable camera video processors for the automotive market. We're seeking a skilled Design Verification Engineer to join our team in San Jose or Toronto.Job Summary:We're looking for a talented engineer to develop and implement test strategies for our next-generation camera processors. The...


  • Toronto, Ontario, Canada GEO Semiconductor Inc Full time

    About GEO SemiconductorGEO Semiconductor is a leading provider of programmable camera video processors for the automotive market. We are seeking a skilled Design Verification Engineer to join our ASIC Verification Team.Responsibilities:Develop test strategies to verify next generation camera processorsCollaborate with design engineers to develop test benches...


  • Toronto, Ontario, Canada GEO Semiconductor Inc Full time

    About GEO SemiconductorGEO Semiconductor is a leading provider of programmable camera video processors for the automotive market. We are seeking a skilled Design Verification Engineer to join our ASIC Verification Team and contribute to the development of our next-generation camera video/vision processors.Key Responsibilities:Develop test strategies to...


  • Toronto, Ontario, Canada GEO Semiconductor Inc Full time

    About GEO SemiconductorGEO Semiconductor is a leading provider of programmable camera video processors for the automotive market. We're seeking a skilled Design Verification Engineer to join our ASIC Verification Team and contribute to the development of our next-generation camera video/vision processors.Key Responsibilities:Develop test strategies to verify...


  • Toronto, Ontario, Canada GEO Semiconductor Inc Full time

    About GEO SemiconductorGEO Semiconductor is a leading provider of programmable camera video processors for the automotive market. We are seeking a skilled Design Verification Engineer to join our ASIC Verification Team and contribute to the development of our next generation camera video/vision processors.Key Responsibilities:Develop test strategies to...


  • Toronto, Ontario, Canada Resonaite Full time

    We are seeking a Senior Identity Verification Specialist to join our team at Resonaite. As a key member of our team, you will play a critical role in supporting Verification and Document Verification Services for a financial services client.Job DescriptionThe successful candidate will design, document, and support solutions for secure identity and document...


  • Toronto, Ontario, Canada NVIDIA Full time

    NVIDIA is seeking a skilled Senior Memory Controller Verification Specialist to join our Tegra SoCs team. As a key member of our verification team, you will partner with the design team to make implementation choices, craft and implement verification test plans, maintain regressions, close coverage, and sign off design for tape-out.This position offers the...


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