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

December 2025

• Formal Verification of Synthesizable C++/SystemC Designs

  Formal Verification Dec 12, 2025 Vlada Kalinic pdf

• 

  Formal Verification of Synthesizable C++/SystemC Designs

  Formal Verification Dec 12, 2025 Vlada Kalinic Paper

November 2025

• 

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

  Formal Verification Nov 05, 2025 Vlada Kalinic Webinar

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

  Formal Verification Nov 05, 2025 Vlada Kalinic 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

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