Browse all Advanced content in Siemens Verification Academy

July 2024

• Simulating AMD’s Next-gen Versal Adaptive SoC Devices using QuestaSim

  Simulation Jul 24, 2024 Fan Zhang Webinar

• Simulating AMD’s Next-gen Versal Adaptive SoC Devices using QuestaSim

  Simulation Jul 24, 2024 Fan Zhang pdf

April 2024

• osmosis Aerospace and Defense 2024

  Formal Verification Apr 24, 2024 John Hallman Conference

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

June 2023

• Update on Formal-based Trust and Security Verification Flows

  Formal Verification Jun 14, 2023 John Hallman pdf

• Securing RISC-V Military Projects

  Formal Verification Jun 14, 2023 Christopher Diltz, Edaptive Computing, Inc. pdf

• Formal Verification of Security Properties

  Formal Verification Jun 14, 2023 Ratish Punnoose - Sandia National Laboratories pdf

May 2023

• osmosis Aerospace and Defense 2023

  Formal Verification May 30, 2023 Martin Rowe Conference

December 2022

• Formal Verification of Security Properties

  Formal Verification Dec 08, 2022 Ratish Punnoose - Sandia National Laboratories mp4

• Formal Verification of Security Properties

  Formal Verification Dec 08, 2022 Ratish Punnoose - Sandia National Laboratories 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