New UVMF Release

The UVM Framework (UVMF) provides a jump-start for learning UVM and building UVM verification environments.

Download 2023.4_2

Missing Forum Notifications?

Check out this blog post from Dave Rich on how to enable Forum Notifications.

Verification Horizons Blog

Upcoming FPU Webinar

Wednesday, Jan 22nd-8:00 AM PST

Streamlining FPU Verification with an Alternative to C-reference Model Approaches

Register Now!

Upcoming Formal Security Webinar

Wednesday, Feb 05th-8:00 AM PST

Explore How to Protect Against Data Corruption with Formal Security Verification

Register Now!
SIEMENS Verification Academy

Search Results

Filters
Reset All

Filters

Topic

Show More

Show Less

Content Type

Show More

Show Less

Audience

Tags

Show More

Show Less

1771 Results

  • Functional Monitoring: From Lab to In-Life

    Resource (Slides) - Jun 07, 2024 by Fady Abushahla - Siemens EDA

    In this session, you will learn how Tessent Embedded Analytics helps deal with the systemic complexity of large SoCs, providing intimate visibility of the real-world behavior of entire systems.

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

    Resource (Slides) - Jun 07, 2024 by Rick Schmidt - Siemens EDA

    Now that our acquisition of Avery Design Systems is complete, Siemens EDA is the new leader for Verification IP in the industry. This session will describe the protocol and memory verification solutions you need for your next silicon verification project whether in Datacenter, Storage, 3DIC, Networking, Automotive, or Aerospace and Defense applications.

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

    Resource (Slides) - Jun 07, 2024 by Kamlesh Mulchandani

    Now that our acquisition of Avery Design Systems is complete, Siemens EDA is the new leader for Verification IP in the industry. This session will describe the protocol and memory verification solutions you need for your next silicon verification project whether in Datacenter, Storage, 3DIC, Networking, Automotive, or Aerospace and Defense applications.

  • Improve Productivity and Deliver Hardware Assurance: Stimulus-free Verification

    Resource (Slides) - Jun 06, 2024 by Chris Giles

    Learn how Siemens' and OneSpin have combined to deliver a best-in-class Static & Formal solution with a focus on addressing unsolved industry challenges. These solutions enable teams to achieve peak performance and deliver absolute hardware assurance.

  • Learn about the Security-critical CMA/SPDM, DOE, IDE, and TDISP elements of the PCIe protocol at the 2024 PCI SIG DevCon

    Resource (Verification Horizons Blog) - Jun 04, 2024 by Joe Hupcey

    The Peripheral Component Interconnect Express (PCIe®) protocol is incredibly feature rich; so much so that even experienced engineers can struggle to keep up with the latest enhancements and capabilities. Hence, the “PCI SIG” standards organization holds an annual conference for D&V engineers to learn directly from the industry’s PCIe experts via technical training sessions; sharing best practices to ultimately improve product roll-out and interoperability.

  • Mark your calendar for the 2024 DAC-Chips to Systems Conference

    Resource (Verification Horizons Blog) - May 28, 2024 by Harry Foster

    Get ready and mark your calendars for DAC 61 – the Chips to Systems Conference you won’t want to miss! As the ultimate event for all things chips to systems, DAC offers top-notch training, education, exhibits, and unbeatable networking opportunities for designers, researchers, tool developers, and vendors alike. This year, we’re thrilled to announce that Siemens is DAC’s first-ever Diamond Sponsor, shining bright at booth #2521.

  • Questa RDC Assist – Improving Designer Productivity and Enabling Faster RDC Verification Closure with Machine Learning

    Webinar - May 22, 2024 by Farhad Ahmed

    In this session, you will learn how RDC Assist helps users expedite their RDC Analysis and will discuss use models and best practices to utilize RDC Assist, and walk through a demo showing its power.

  • Questa RDC Assist – Improving Designer Productivity and Enabling Faster RDC Verification Closure with Machine Learning

    Resource (Slides) - May 22, 2024 by Farhad Ahmed

    In this session, you will learn how RDC Assist helps users expedite their RDC Analysis and will discuss use models and best practices to utilize RDC Assist, and walk through a demo showing its power.

  • Navigating Reset Domain Crossings to Safety in Complex SoCs

    Resource (Verification Horizons Blog) - May 21, 2024 by Reetika - Siemens EDA

    As the complexity of system-on-chip (SoC) designs escalates, driven by the demand for more integrated functionalities and higher performance, electronic components such as processors, power management blocks, and DSP cores are proliferating. This surge necessitates a shift towards intricate power and performance management strategies, often incorporating several asynchronous and soft resets.

  • Developing “Safe” AI Hardware

    Seminar - May 07, 2024 by Shaumik Ganguly - Continental

    In this session you will learn the challenges that AI/ML technologies pose for the safety of autonomous driving vehicles, and how can standards help to get AI/ML technology safely into the car.

  • Coverage Closure Acceleration Using Collaborative Verification IQ Tool

    Seminar - May 07, 2024 by Suma Ramanand - Nokia

    In this session you will learn that ever-increasing design complexity and shortening design-to-market has demanded faster and more accurate functional verification.

  • Optimizing Connectivity Verification Workflow with Python and Tcl Scripting

    Seminar - May 07, 2024 by Ariel Ansbacher - Veriest

    In this session you will learn that Veriest’s client SiPearl was using a Defacto SoC-Compiler for generating connections between signals in their design. They were tasked to conduct connectivity checks on it, where the only available information about the signals connections was the Tcl file used to feed the SoC-Compiler. Veriest will walk through the steps taken to solve the challenge.

  • Extraction of VC File for Physical Macro From Top VC File

    Seminar - May 07, 2024 by Nirav Patel - Arm

    A normal SoC has many physical partitions compiled in different libraries involving multiple IPs with a very large file list referred to internally (at Arm) as the VC file list. In this session you will learn how the automation from Siemens around Questa Visualizer is used to create the VC list for all physical partitions.

  • Improving Simulation Performance Utilizing the Visualizer Profiler

    Seminar - May 07, 2024 by George Lloyd - Arm

    In this session you will learn how Visualizer Profiler was used to identify areas for improvement within Arm VIP components and how these issues were addressed, reducing simulation time that were achieved due to these optimizations.

  • Enhanced Randomization and Functional Coverage – Make Better VHDL Testbenches

    Seminar - May 07, 2024 by Espen Tallaksen - EmLogic

    In this session you will learn that UVVM’s advanced and optimized randomization and functional coverage was developed in cooperation with ESA (European Space Agency).

  • Combined Formal and Functional Verification Approach for Digitally Controlled Analog Frontend

    Seminar - May 07, 2024 by Mihajlo Katona - Veriest

    In this session we are presenting a fusion of formal and dynamic verification methods we applied in a mixed signal IC project. The challenge for DV verification team was to select the most suitable verification method.

  • osmosis Aerospace and Defense 2024

    Conference - Apr 24, 2024 by John Hallman

    osmosis Aerospace and Defense (A&D) is about sharing the success in using formal techniques to address the demanding verification requirements and challenges of Trust and Assurance verification, Safety Critical Designs, and DO-254 compliant and other high-consequence systems.

  • Win the Tick to Trade Race by Root Causing Bugs Faster with QuestaSim

    Resource (Slides) - Apr 16, 2024 by Rich Edelman

    In this webinar we will highlight the key innovations in QuestaSim that enable full debug visibility with significant reduction in simulation performance overhead and waveform database size.

  • Win the Tick to Trade Race by Root Causing Bugs Faster with QuestaSim

    Webinar - Apr 16, 2024 by Rich Edelman

    Root causing RTL design or simulation testbench bugs can be tedious process, especially if just relying on traditional waveform viewing and debug. Also, it can be costly if more sophisticated debug ties up precious simulation resources during the debug process.

  • Lost in Code: Using Visualizer to Understand Someone’s UVM Testbench

    Seminar - Apr 04, 2024 by Salil Pandit, Robert Rice - Siemens EDA

    It's always challenging for Design-Verification engineers to take over the ongoing complex testbench work from another engineer who is no longer working on the given project. In this presentation, we walk through 5 concrete steps you can take to fully understand a “new to you” UVM testbench.

  • Lost in Code: Using Visualizer to Understand Someone’s UVM Testbench

    Resource (Slides) - Apr 04, 2024 by Salil Pandit, Robert Rice - Siemens EDA

    It's always challenging for Design-Verification engineers to take over the ongoing complex testbench work from another engineer who is no longer working on the given project. In this presentation, we walk through 5 concrete steps you can take to fully understand a “new to you” UVM testbench.

  • Why and How We Migrated from In-house Regression Management and Coverage flow to Verification IQ

    Seminar - Apr 04, 2024 by Avinash Agrawal - Siemens EDA

    In this session we share how we worked with a customer to migrate from a sophisticated array of home-grown spreadsheets and scripts to process coverage analysis automation with Questa Verification IQ.

  • Why and How We Migrated from In-house Regression Management and Coverage flow to Verification IQ

    Resource (Slides) - Apr 04, 2024 by Avinash Agrawal - Siemens EDA

    In this session we share how we worked with a customer to migrate from a sophisticated array of home-grown spreadsheets and scripts to process coverage analysis automation with Questa Verification IQ.

  • How and Why We Adopted Questa Core in the Development of Quantum Computers

    Seminar - Apr 04, 2024 by Jan Marjanovic - Atom Computing

    This session starts with the introduction of our quantum computers and their control system, presents the challenges of verifying designs of decent complexity with constantly-changing requirements, discusses advantages and disadvantages of using Vivado Simulator and Questa Core for verification, and touches on the challenges of integrating Vivado and Questa Core.

  • How and Why We Adopted Questa Core in the Development of Quantum Computers

    Resource (Slides) - Apr 04, 2024 by Jan Marjanovic - Atom Computing

    This session starts with the introduction of our quantum computers and their control system, presents the challenges of verifying designs of decent complexity with constantly-changing requirements, discusses advantages and disadvantages of using Vivado Simulator and Questa Core for verification, and touches on the challenges of integrating Vivado and Questa Core.