Complete Verification of Nutshell Cache
Verification of Nutshell Cache using Python.
Category: Example Projects
TileLink Protocol
Using TileLink Protocol for L2 Cache Driven by C++
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:
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:
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:
DUT Verification
Overview of the general verification process
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:
Verification Report
An overview of the structure and content of the verification report.