Browse all Advanced content in Siemens Verification Academy

March 2024

• Formal Verification: An Introduction and Exploration of Challenges

  Formal Verification Mar 01, 2024 Yusuf Eren - Ankasys Article

• Maximize Returns on Your Hardware Emulation Investment with the Veloce Enterprise (ES) App

  Acceleration Mar 01, 2024 Chuck Banken, Chenguang Li - Siemens Eda Article

February 2024

• Functional Verification workflow for Trusted and Assured Microelectronics

  Formal Verification Feb 06, 2024 John Hallman Webinar

• Functional Verification workflow for Trusted and Assured Microelectronics

  Formal Verification Feb 06, 2024 John Hallman pdf

July 2022

• Bringing 5G NR Radio Frame Generation and Analysis to the Veloce® X-STEP™ Product Family

  Acceleration Jul 05, 2022 Yrjö Keränen - Siemens Eda Article

• Speeding OTN Verification Using Emulation

  Acceleration Jul 05, 2022 Pradeep Gupta, Saurabh Khaitan - Siemens Eda Article

March 2022

• How Do You “Qualify” Tools for DO-254 Programs?

  Functional Safety Mar 02, 2022 Michelle Lange, Tammy Reeve - Patmos Engineering Services Article

September 2021

• Digital Thread, Digital Twin, and IC Development

  Functional Safety Sep 01, 2021 Ray Salemi Article

• Addressing the Trends and Challenges of Automotive IC Development

  Functional Safety Sep 01, 2021 Ann Keffer Article

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

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

• Veloce Hardware-Assisted Verification – Complete, Unified, and Progressive

  Acceleration Sep 01, 2021 Jean-Marie Brunet Article

• Veloce Prototyping Solutions Accelerate Verification of HPC AI-Enabled SoCs

  Acceleration Sep 01, 2021 Stephen Bailey Article

July 2021

• Extending the Role of Test and In-System Test to Meet Automotive Safety and Security Requirements

  Functional Safety Jul 29, 2021 Lee Harrison Webinar

May 2021

• Architecting a UVM Testbench

  UVM - Universal Verification Methodology May 25, 2021 Tom Fitzpatrick Session

• Understanding the Factory and Configuration

  UVM - Universal Verification Methodology May 25, 2021 Tom Fitzpatrick Session

• Modeling Transactions

  UVM - Universal Verification Methodology May 25, 2021 Tom Fitzpatrick Session

• How TLM Works

  UVM - Universal Verification Methodology May 25, 2021 Tom Fitzpatrick Session

• The Proper Care and Feeding of Sequences

  UVM - Universal Verification Methodology May 25, 2021 Tom Fitzpatrick Session

• Layered Sequences

  UVM - Universal Verification Methodology May 25, 2021 Tom Fitzpatrick Session

• Setting Up the Register Layer

  UVM - Universal Verification Methodology May 25, 2021 Tom Fitzpatrick Session

• Writing and Managing Tests

  UVM - Universal Verification Methodology May 25, 2021 Tom Fitzpatrick Session

• Using the Register Layer

  UVM - Universal Verification Methodology May 25, 2021 Tom Fitzpatrick Session

• Register-Based Testing

  UVM - Universal Verification Methodology May 25, 2021 Tom Fitzpatrick Session

April 2021

• Formal 101 – Basic Abstraction Techniques

  Formal Verification Apr 21, 2021 Jin Hou Session

March 2021

• What is “Verification” in the Context of DO-254 (Avionics) Programs?

  Functional Safety Mar 03, 2021 Michelle Lange, Jeff Reeve And Tammy Reeve - Patmos Engineering Services Article