Complete Verification of Nutshell Cache
Verification of Nutshell Cache using Python.
Category: Tutorials
Quick Start
How to use the open verification platform to participate in hardware verification.
Categories:
Setting Up the Verification Environment
Install the necessary dependencies, download, build, and install the required tools.
Categories:
Using C++
Encapsulate the DUT hardware runtime environment with C++ and compile it into a dynamic library.
Categories:
Environment Usage
Detailed usage instructions for the Open Verification Platform environment.
Categories:
TileLink Protocol
Using TileLink Protocol for L2 Cache Driven by C++
Categories:
Verification Basics
Introduction to the basic knowledge required for working with the open verification platform.
Categories:
Waveform Generation
Generate circuit waveforms.
Categories:
Case 1: Adder
Demonstrates the principles and usage of the tool based on a simple adder verification. This adder is implemented using simple combinational logic.
Categories:
Multi-File Input
Handling multiple Verilog source files
Categories:
Using Java ...
Encapsulate the DUT hardware runtime environment with Java and package it as a jar file.
Categories:
Advanced Case Studies
Complex case studies completed using the open verification platform.
Categories:
Case 2: Random Number Generator
Demonstrating the tool usage with a 16-bit LFSR random number generator, which includes a clock signal, sequential logic, and registers.
Categories:
Coverage Statistics
Coverage tools
Categories:
Case 3: Dual-Port Stack (Callback)
A dual-port stack is a stack with two ports, each supporting push and pop operations. This case study uses a dual-port stack as an example to demonstrate how to use callback functions to drive the DUT.
Categories:
Integrated Testing Framework
Available Software Testing Frameworks
Categories:
Case 4: Dual-Port Stack (Coroutines)
The dual-port stack is a stack with two ports, each supporting push and pop operations. This case study uses the dual-port stack as an example to demonstrate how to drive a DUT using coroutines.
Categories:
Multi-language Support
The Open Verification Platform supports multiple languages.
Categories:
PyTest
Used for managing tests and generating test reports.
Categories:
Hypothesis
Can Be Used to Generate Stimuli