WEDNESDAY October 30, 10:45am - 12:15pm | Forum 7
EVENT TYPE: REGULAR SESSION
SESSION 4Advanced Verification 1
|4.1||Addressing 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.2||Agile 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.3||Transaction-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