Formal Design Verification Engineer

2 months ago


Toronto, Canada Flexstaf IT Full time

Remote Canada Computer/Software

This position is for a Formal DesignVerification Engineer. The successful candidate willuse formal verification technologies to perform functionalverification of design blocks inside Custom Al IPs. Formaltechnologies include Formal Property Verification SequentialEquivalence Checking and Data path Validation.

Responsibilities

    • Drive Formal Verification Methodology on multiplecomponents inside Custom AI Inference IP. This is not limited tocreating and executing verification plan debugging issues andcoverage closure.
    • Evaluating various formalverification technologies and flows.

Preferred Skills &Experience

    • Knowledge ofa property checking language such as SystemVerilog Assertion (SVA)and understanding of HDL languages such as SystemVerilog orVerilog.
    • Familiar with AMBA protocols such asAHB APB and AXI.
    • Knowledge of ComputerArchitecture. Familiar with RISCV ISA.
    • Able touse scripting languages such as Python.
    • Bachelors or Masters degree in Electrical Engineering orComputer Engineering.
    • 3 years experience withhandson design verification with 2 years in formalverification.

Remote Work :

No



  • 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

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


  • Old Toronto, Canada Lightmatter Full time

    div>Lightmatter is a photonic computer company redefining what computers and human beings are capable of by building the engines that will power discoveries and drive progress in a sustainable way. With modern human progress relying heavily on computers, the world has hit a dead end with traditional transistors, and the prospect of constantly building data...


  • Toronto, Canada Lightmatter Full time

    Sr. Staff Design Verification EngineerLightmatter builds chips that enable extreme-scale artificial intelligence computing clusters. If you're a collaborative engineer or scientist who has a passion for innovation, solving challenging technical problems, and doing impactful work like building the world's first optical computers, consider joining the team at...


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


  • 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 Semiconductor IncGEO Semiconductor Inc, headquartered in San Jose, CA, is a leading developer of programmable camera video processors for the rapidly growing automotive camera market. Our products feature advanced image signal processing, eWARP technology, and state-of-the-art neural network-based computer vision solutions.Job DescriptionWe are...


  • Toronto, Canada Astera Labs Full time

    We are looking for a Design Verification Manager with proven experience in working on industry standard protocols such as PCIe/CXL/DDR/Ethernet. You will build and lead a team that will contribute to the functional verification of the designs from coming up with block level and system level verification plan to writing test sequences, test execution,...


  • Toronto, Canada Cadence Design Systems, Inc. Full time

    At Cadence, we hire and develop leaders and innovators who want to make an impact on the world of technology. Principal Physical Design Engineer (PNR/Physical Verification/STA/EMIR) The candidate will have the opportunity to work on many varieties of challenging designs, i.e. low power and high speed design. As well as participating in or leading...


  • Toronto, Ontario, Canada Renesas Electronics Full time

    Renesas Electronics is seeking a highly skilled Lead ASIC Verification Engineer to join our team in Canada, preferably in Montreal, Ottawa, or Toronto.About the RoleAs a key member of our verification team, you will be responsible for improving and maintaining our UVM test environment, creating new test cases, and debugging mixed-signal chips in digital...


  • Toronto, Canada BTA Design Services Full time

    **About Us**: Headquartered in Ottawa, BTA Design serves the electronic design community from Canada, specializing in ASIC and FPGA design and verification, and embedded software development services. We augment and enhance our clients’ teams and accelerate the development of complete designs. We’re adaptable and efficient, with a brilliant staff at our...


  • 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.Job Summary:We are seeking a highly skilled Design Verification Engineer to join our ASIC Verification Team. The successful candidate will be responsible for creating and verifying next-generation camera video/vision processors.Key...


  • Toronto, Canada Alstom Full time

    Req ID:469667  At Alstom, we understand transport networks and what moves people. From high-speed trains, metros, monorails, and trams, to turnkey systems, services, infrastructure, signalling and digital mobility, we offer our diverse customers the broadest portfolio in the industry. Every day, more than 80 000 colleagues lead the way to greener and...


  • Toronto, Canada Ecobee Full time

    Hi, we are ecobee.ecobee introduced the world’s first smart Wi-Fi thermostat to help millions of consumers save money, conserve energy, and bring home automation into their lives. That was just the beginning. We continue our pursuit to create technology that brings peace of mind into the home and allows people to focus on the moments that matter most. We...


  • Toronto, Canada NVIDIA Full time

    NVIDIA is seeking elite ASIC Verification Engineers to verify the design and implementation of the world’s leading SoC's and GPU's. This position offers the opportunity to have real impact in a dynamic, technology-focused company impacting product lines ranging from consumer graphics to self-driving cars and the growing field of artificial intelligence. We...


  • Toronto, Ontario, Canada NVIDIA Full time

    NVIDIA is seeking a highly skilled Senior Memory Controller Verification Engineer to join our Tegra SoCs team. At NVIDIA, we have a global team of outstanding individuals whose mission is to push the frontiers of what is possible today and define the platform for the future of computing.This role offers the opportunity to have a real impact on multiple...

  • Verification Engineer

    2 months ago


    Old Toronto, Canada Aversan Inc Full time

    Software Verification Engineer Aversan Inc. (www.aversan.com) is a reputable Engineering Company that provides expertise in the Aerospace and Defense industries. We are currently seeking a Remote Software Verification Engineer to help develop and test low-level Level Requirements per DO178c for our client based in Tempa, Florida. The successful candidate for...

  • Mechanical Designer

    2 weeks ago


    Toronto, Canada Design Works Engineering Full time

    Hello and welcome to Design Works Engineering! We are a multi-discipline engineering firm inclusive of civil engineering, structural engineering, mechanical engineering, electrical engineering, energy modelling, and fire protection design. Our diverse staff all share the same vision – create great projects, and even better relationships. Our team is a...

  • Mechanical Designer

    5 days ago


    Toronto, Canada Design Works Engineering Full time

    Hello and welcome to Design Works Engineering! We are a multi-discipline engineering firm inclusive of civil engineering, structural engineering, mechanical engineering, electrical engineering, energy modelling, and fire protection design. Our diverse staff all share the same vision – create great projects, and even better relationships. Our team is a...

  • Mechanical Designer

    2 weeks ago


    Toronto, Canada Design Works Engineering Full time

    Hello and welcome to Design Works Engineering! We are a multi-discipline engineering firm inclusive of civil engineering, structural engineering, mechanical engineering, electrical engineering, energy modelling, and fire protection design. Our diverse staff all share the same vision – create great projects, and even better relationships. Our team is a...