Browse all content in Verification Academy: Articles, Cookbooks, Resources, Sessions, and Tracks

November 2025

• 

  HLV: Formal Verification of Synthesizable C++/SystemC Designs

  Formal Verification Nov 05, 2025 Vlada Kalinic Webinar

May 2022

• 

  From Model to Implementation with High-Level Synthesis

  High-Level Synthesis May 10, 2022 Russell Klein Webinar

March 2022

• System Verification with MatchLib

  High-Level Synthesis Mar 31, 2022 Russell Klein mp4

• System Verification with MatchLib

  High-Level Synthesis Mar 31, 2022 pdf

September 2021

• 

  Deploying HLS in a DO-254/ED-80 Workflow

  Functional Safety Sep 01, 2021 Tammy Reeve - Patmos Engineering Services Article

May 2021

• Machine Learning at the Edge: Using HLS to Optimize Power and Performance

  Machine Learning May 12, 2021 Michael Fingeroff - Siemens Eda pdf

March 2021

• Early Design Validation AI Accelerator’s System Level Performance Using An HLS Design Methodology

  High-Level Synthesis Mar 31, 2021 Michael Fingeroff - Siemens Eda pdf

• 

  Early Design & Validation of an AI Accelerator’s Performance Using an HLS Design

  High-Level Synthesis Mar 31, 2021 Michael Fingeroff - Siemens Eda Seminar

August 2019

• Using HLS to Accelerate Computer Vision for Autonomous Drive

  High-Level Synthesis Aug 20, 2019 pdf

July 2019

• Deep Learning Accelerator Using HLS

  High-Level Synthesis Jul 15, 2019 pdf

August 2017

• An Ultra-D Business Enabler by Catapult HLS

  High-Level Synthesis Aug 09, 2017 pdf

• Low-Power Design using High-Level Synthesis for Automotive Image Sensor

  High-Level Synthesis Aug 07, 2017 pdf

June 2017

• 

  Portable Stimulus Modeling in a High-Level Synthesis User's Verification Flow

  Portable Stimulus Jun 28, 2017 Mike Andrews, Mike Fingeroff - Siemens Eda Article