27 - 28 October, 2020

Virtual Conference

Event Details

MP Associates, Inc.

WEDNESDAY October 30, 10:45 - 12:15 | Forum 7

Advanced Verification 1
Clemens Roettgermann - exida

4.1Addressing Asynchronous FIFO Verification Challenge
An effective method for ensuring asynchronous high speed data transfer is First-In First-Out (FIFO). FIFO ensures speed matching, eliminates meta-stability risk and has key advantages, such as minimal data stability requirement, guarantee of service, and low latency. However, complexity of functional and structural logic used in FIFO present a serious CDC verification challenge. In this paper, we 1. Investigate risks associated with standard FIFO implementations that can lead to structural or functional failures 2. Present a generic method to break-down a complex FIFO into standard sub-structures that can be validated independently. This helps pinpoint the exact stage and point of failure. 3. Present a technique using formal verification to functionally validate the FIFO. This ensures there are no functional flaws in corner case situations. The proposed automated method was applied on an industry microprocessor design, on which real bugs were identified in FIFO structures, which could have caused silicon failure.
 Speaker: Joerg Schoeppe - Mentor, A Siemens Business
 Authors: Anchal Gupta - Mentor, A Siemens Business
Ashish Hari - Mentor, A Siemens Business
Sulabh Kumar Khare - Mentor, A Siemens Business
Joerg Schoeppe - Mentor, A Siemens Business
4.2Agile and Dynamic Functional Coverage Using SQL on the Cloud
Functional coverage is a key metric in most verification projects, and is used by many teams to “drive” the verification process, to determine which areas are sufficiently verified and which ones need further testing.Unfortunately, it suffers a few major shortcomings that make it a much less powerful tool than it could have been. In this paper we will present a functional coverage solution that is based on log files, and leverage generic database technologies to parse, ingest and query the data. Such tools are easily available from AWS, Google and other public cloud providers. We will show how this flow and these technologies not only address all the shortcomings mentioned above, but also allow for much more thorough analysis of data at hand, and deep-dive where needed, without being required to rerun lengthy regressions.
 Speaker: Filip Dojcinovic - Veriest Solutions Ltd.
 Author: Filip Dojcinovic - Veriest Solutions Ltd.
4.3Transaction-Based Testing with OSVVM and the OSVVM Model Library
Open Source VHDL Verification Methodology (OSVVM) is an ASIC level VHDL verification methodology that is simple enough to use for small FPGA projects. OSVVM offers the same capabilities as other verification languages. OSVVM's transaction-based testing approach calls the procedural API provided by a verification component. Typically the API of each separate verification component is called from separate processes - facilitating the modeling of complex system interactions. To make this possible, OSVVM also provides synchronization utilities to support arbitrary alignment of independent processes (aka threads of execution). This presentation provides an overview of OSVVM's free, open source verification component library and insight into how to write tests (including constrained random tests) using these components. In Europe, VHDL is used in 78% of all FPGA designs and OSVVM is used by 30% of the Design Verification teams. Hence this presentation provides valuable insight into how to write tests using OSVVM.
 Speaker: Jim W. Lewis - SynthWorks Design, Inc.
 Authors: Jim W. Lewis - SynthWorks Design, Inc.
Patrick Lehmann - PLC2 GmbH