Browse all Intermediate content in Siemens Verification Academy

June 2023

• The New Leader in Verification IP: Questa + Avery Solutions

  Verification IP Jun 06, 2023 Gordon Allan pdf

• Revolutionizing RTL Design: Unveiling the Latest Updates and Roadmap of the Questa Simulation Platform

  Simulation Jun 06, 2023 Moses Satyasekaran pdf

May 2023

• Transactional Assertions - Where representation influences thinking

  Formal Verification May 31, 2023 Nicolae Tusinschi pdf

• GapFree - Where all pieces come together

  Formal Verification May 31, 2023 Nicolae Tusinschi pdf

• Break the RISC-V customization barrier with Processor Formal Verification

  Formal Verification May 31, 2023 Salaheddin Hetalani pdf

• When Regular CDC Is Not Enough: Reset Domain Crossing Verification and Hierarchical Data Modeling (HDM)

  Clock-Domain Crossing May 31, 2023 Kevin Campbell pdf

• A multi-dimensional view of formal verification coverage

  Formal Verification May 31, 2023 Nicolae Tusinschi pdf

• Advanced CDC flows: Dynamic Metastability Modeling, Protocol Verification, Reconvergence

  Clock-Domain Crossing May 31, 2023 Kevin Campbell pdf

• Enhancing CDC flows with Machine Learning (ML) today, and the future roadmap of static solutions

  Questa Design Solutions May 31, 2023 Kevin Campbell pdf

• Bent Tools and other Horrors From the Garden and UVM Debug – or Are You Still Debugging with $display?

  Debug May 24, 2023 Rich Edelman link

• Efficient Interconnect Formal Verification for Complex, Large-scale Designs

  Formal Verification May 17, 2023 Nicolae Tusinschi Webinar

• Efficient Interconnect Formal Verification for Complex, Large-scale Designs

  Formal Verification May 17, 2023 Nicolae Tusinschi pdf

April 2023

• Delivering First Silicon Success for Your Next SoC or 3DIC

  Verification IP Apr 25, 2023 Gordon Allan pdf

• Delivering First Silicon Success for Your Next SoC or 3DIC

  Verification IP Apr 25, 2023 Gordon Allan Webinar

• Questa Verification IQ: Boost Verification Predictability and Efficiency with Big Data

  Planning, Measurement and Analysis Apr 11, 2023 Darron May Webinar

March 2023

• Continuous Integration (CI) driving efficient program execution

  Questa Design Solutions Mar 28, 2023 Kevin Campbell Webinar

• Continuous Integration (CI) driving efficient program execution

  Questa Design Solutions Mar 28, 2023 Kevin Campbell pdf

• How to Exhaustively Verify Register I/O Policies Without Exhausting Yourself

  Formal Verification Mar 18, 2023 Joon Hong Webinar

February 2023

• A Formal-based Approach for Efficient RISC-V Processor Verification

  Formal Verification Feb 24, 2023 Laurent Arditi, Paul Sargent, Thomas Aird, Lauranne Choquin - Codasip Article

• Big Data for Verification – Inspiration from Large Language Models

  Machine Learning Feb 24, 2023 Dan Yu link

December 2022

• Application of AI/ML to Optimize Fault Simulation Coverage

  Machine Learning Dec 01, 2022 Avnita Pal And Sastry Puranapanda - Silicon Interfaces® Article

• Understanding and Using Immediate Assertions

  Assertions Dec 01, 2022 Ben Cohen Article

November 2022

• Union of SoC Design & Functional Safety Flow

  Functional Safety Nov 30, 2022 Vedant Garg Webinar

October 2022

• UVM Testbench Debug – A Day At The Beach – Right?

  Debug Oct 04, 2022 Rich Edelman link

September 2022

• Overcoming Today’s Verification, Supply Chain, and Legacy Technology Challenges Associated with FPGA-based Designs

  Formal Verification Sep 30, 2022 Martin Rowe Webinar