Search Results
Filters
1771 Results
-
Assertions and Benefits of Abstractions in Formal Verification
Resource (Verification Horizons Blog) - Sep 11, 2024 by Nicolae Tusinschi
Assertions are typically specified using languages like SystemVerilog Assertions (SVA) or Property Specification Language (PSL). These languages provide constructs for expressing complex design behaviors, making it possible to verify a wide range of conditions and scenarios.
-
Questa Formal Verification IP AMBA: Achieve Protocol Compliance in Designs
Webinar - Sep 11, 2024 by Nicolae Tusinschi
In this session, you will learn how Questa Formal Verification IP (VIP) for the AMBA protocol ensures that designs incorporating AMBA adhere strictly to the protocol; all without the need for simulation. The solution integrates comprehensive protocol knowledge, providing user-friendly interfaces, significantly reducing verification environment setup time. Optimized for top-tier performance and scalability, Questa Formal VIP AMBA achieves high-efficiency with accurate protocol compliance.
-
Questa Formal Verification IP AMBA: Achieve Protocol Compliance in Designs
Resource (Slides) - Sep 11, 2024 by Nicolae Tusinschi
Questa Formal VIP AMBA is the ideal tool for achieving high-efficiency and accurate protocol compliance. Don't miss this opportunity to learn how to streamline your verification process and enhance your design workflows.
-
Understanding Formal Verification
Resource (Verification Horizons Blog) - Sep 05, 2024 by Nicolae Tusinschi
Formal verification is a method to ensure that a hardware design behaves as intended by using mathematical analysis to check its correctness relative to its specifications. Unlike traditional verification methods, which rely on testing and simulation, formal verification mathematically proves that a design will always function correctly under all possible scenarios.
-
Jump-Start Your UVM Journey with UVM Framework (UVMF)
Resource (Verification Horizons Blog) - Sep 04, 2024 by Dennis Brophy - Siemens EDA
Bob Oden shares insights on how the Universal Verification Methodology Framework (UVMF) is revolutionizing the verification landscape. UVMF is an advanced toolset that extends the capabilities of UVM, providing a robust and structured approach to verification.
-
The Future of Multi-Die System Verification with UCIe
Resource (Slides) - Aug 21, 2024 by Justin Bunnell
Universal Chiplet Interconnect express (UCIe) is an open chiplet interconnect standard that enables efficient connectivity and interoperability between multiple dies on the same package. This solution offers numerous benefits including low power consumption, high bandwidth, multiple protocol support, and interoperability between chiplets of varying performance characteristics.
-
The Future of Multi-Die System Verification with UCIe
Webinar - Aug 21, 2024 by Justin Bunnell
In this session, you will be introduced to the UCIe protocol with a focus on the latest evolutions of the specification, followed by a deep dive into the key features of Siemens Avery UCIe Verification IP that enable efficient verification of multi-die systems. These include dynamic block-level and System-in-Package (SiP) level testbench creation, intelligent traffic generation, error injection, advanced debug features, and comprehensive performance monitoring.
-
Advanced Analytics for Accelerating RDC Verification Closure
Resource (Verification Horizons Blog) - Aug 13, 2024 by Reetika - Siemens EDA
Complex reset mechanisms are embedded in advanced SoCs to meet low-power and high-performance requirements. Multiple reset domains in a design can cause reset domain crossing (RDC) issues when data from one asynchronous source reset domain propagates to either a different asynchronous, synchronous, or no-reset destination domain.
-
Portable Stimulus and VIP: Like a Hand in a Glove
Resource (Verification Horizons Blog) - Aug 08, 2024 by Tom Fitzpatrick
Many of you know that I am particularly passionate about the Portable Stimulus Standard (PSS) and wanted to let you know that my recording of “Portable Stimulus and Verification IP Fit Together Like a Hand in a Glove” is now available on Verification Academy .
-
Announcing Avery UCIe 2.0 Verification IP from Siemens EDA
Resource (Verification Horizons Blog) - Aug 06, 2024 by Gordon Allan
Siemens EDA are excited to announce availability of our Verification IP products for UCIe version 2.0, coincident with today’s public launch of the UCIe 2.0 specification at the Future of Memory and Storage conference event in Santa Clara, California. We are ready and open for business, and are your design verification source for all things UCIe.
-
UVM Framework Release Notes - All
Resource (Tarball) - Aug 05, 2024 by Bob Oden
UVMF v2023.4_2 Generator Updates: Replaced new with factory create for construction of broadcasted transaction from monitor.
-
UVM Framework Release 2023.4_2
Resource (Tarball) - Aug 05, 2024 by Bob Oden
Generator Updates: Replaced new with factory create for construction of broadcasted transaction from monitor.
-
Verification Challenges and Solutions for Multi-Die Systems (UCIe)
Resource (Verification Horizons Blog) - Jul 29, 2024 by Vivek Kaliki - Siemens EDA
Multi-die systems accelerate the scaling of system functionality, reduce risk, and facilitate the creation of new product variants. However, these advantages come with challenges in functional verification and system analysis. To ensure thorough verification, all components in the dies must be thoroughly verified from a system-level perspective.
-
Accelerating Verification of Computational Storage Designs (NVMe)
Resource (Verification Horizons Blog) - Jul 29, 2024 by Vivek Kaliki - Siemens EDA
Computational storage is revolutionizing data storage by embedding computational capabilities within storage devices, significantly boosting system efficiency by reducing data movement. However, this innovation also complicates the design and verification processes. Ensuring the proper functioning of computational storage devices within the existing NVMe infrastructure presents significant challenges requiring advanced verification solutions.
-
Accelerate Closure of Reset Path and Reset Domain Crossing Issues in Digital Designs
Resource (Verification Horizons Blog) - Jul 24, 2024 by Farhad Ahmed
In tight project windows, engineers tend to use waiver mechanisms and/or use constraints (i.e., setting false paths) to completely eliminate paths from reset domain crossing (RDC) analysis, which can result in RDC bug escapes. In a recent DVCon conference presentation, a design engineer declared “jihad” against such use of waivers and constraints to remove certain reset paths from being properly analyzed.
-
Simulating AMD’s Next-gen Versal Adaptive SoC Devices using QuestaSim
Webinar - Jul 24, 2024 by Fan Zhang
In this session, you will be provided with an in-depth guide on running simulation flows for a Versal Adaptive SoC. Additionally, we'll delve into QEMU, the open-source system emulator, and its co-simulation interface with Questa. Demonstrating how to conduct a system simulation of a Versal example design will be a focal point, showcasing Questa’s support for system simulation of Versal designs based on the Vitis™ hardware emulation flow.
-
Simulating AMD’s Next-gen Versal Adaptive SoC Devices using QuestaSim
Resource (Slides) - Jul 24, 2024 by Fan Zhang
In this session, we aim to provide an in-depth guide on running simulation flows for a Versal Adaptive SoC. Additionally, we'll delve into QEMU, the open-source system emulator, and its co-simulation interface with Questa. Demonstrating how to conduct a system simulation of a Versal example design will be a focal point, showcasing Questa’s support for system simulation of Versal designs based on the Vitis™ hardware emulation flow.
-
Questa CDC-FX: Metastability Effects Delay Modeling
Paper - Jun 28, 2024 by Kurt Takara
In this paper, we survey traditional metastability effect models and discuss the shortcomings of each of them. We then present the model used by Questa CDC-FX, from Siemens EDA, and describe why it is a more accurate and complete metastability-effects model.
-
Questa CDC-FX: Metastability Effects Delay Modeling
Resource (Technical Paper) - Jun 28, 2024 by Kurt Takara
This paper describes why metastability occurs in designs with asynchronous clocks and analyzes the various methods that designers use to verify that their design is resilient with respect to the effects of metastability. It discusses the efficacy of each of these methods and describes in detail the behavioral model of metastability that is used in the Siemens EDA Questa clock-domain-crossing verification solution.
-
Introducing Smart Verification: Unleashing the Potential of AI Within Functional Verification
Conference - Jun 24, 2024 by Tom Fitzpatrick
In this session, you will learn that leveraging the power of AI and ML, Smart Verification revolutionizes functional verification by using faster engines that complement traditional heuristics with machine learning. Allowing engineers to be more productive with advanced creation, analysis, and debugging capabilities, while reducing workloads through predictive technologies that streamline and accelerate the verification process.
-
Accelerated Confidence in Interface Designs mixing Software Layers, Hardware Protocols, Physical Connections
Conference - Jun 24, 2024 by Gordon Allan
In this session, you will learn that today high performance compute fabrics are spread over multiple die, multiple packages, multiple cards and racks in the data center. They are linked together by layers of CPU-to-CPU, cache-to-cache, and network node-to-node infrastructure. Those connections are based on standardized protocols, always evolving and improving, and increasingly having both a hardware interaction of multiple layers, plus one or more software layers.
-
Portable Stimulus and Verification IP Fit Together Like a Hand in a Glove
Conference - Jun 24, 2024 by Tom Fitzpatrick
In this session, you will learn that the Portable Stimulus Standard (PSS) encourages verification engineers to focus on describing test scenarios, without worrying about the underlying target environment on which the test will ultimately be run. By describing the scenarios in terms of a randomizable schedule of actions, or behaviors that will execute, the test can easily be retargeted to different implementations for different environments.
-
Challenges of Developing IPs for AI Chips
Conference - Jun 24, 2024 by Tom Fitzpatrick
Tom Fitzpatrick interviews Rambus VP of Engineering Susheel Tadikonda about the high-level D&V challenges of developing IPs for the new breed of AI accelerator chips; including the need to support a high-degree of IP configurability, 3DIC-specific protocol requirements that call for new levels of security for data in-motion and at rest.
-
Beyond Speed: Unlocking Productivity in Simulation and Debug
Resource (Slides) - Jun 12, 2024 by Moses Satyasekaran
Gone are the days when functional verification tools were solely measured by their performance metrics. The spotlight has shifted towards productivity in today's fast-paced development environment. In this session we explore how Siemens EDA prioritizes productivity and performance, enabling customers to optimize their verification cycles and swiftly uncover bugs. Discover the transformative impact of this paradigm shift on accelerating design validation and achieving faster time-to-market.
-
Questa Verification IQ: Boost Verification Predictability and Efficiency with Collaboration, Traceability, and AI/ML Analytics
Resource (Slides) - Jun 12, 2024 by Austin Mam
This session will cover Questa Verification IQ (VIQ), the next-generation, data-driven verification solution from Siemens EDA that transforms the verification process using collaboration, traceability, and analytics. VIQ enables greater collaboration among teams and utilizes machine learning and AI to boost verification productivity and efficiency.