快速开始
如何使用开放验证平台的环境参与到硬件验证中来。
Category: 示例项目
完整果壳 Cache 验证
利用Python语言对果壳Cache进行验证，
TileLink 协议
基于C++驱动使用 TillLink 协议的 L2 Cache
波形生成
生成电路波形
基础工具
开放验证平台的基础工具的详细使用方法。
验证基础
介绍开放验证平台工作所需要的基础知识。
案例一：简单加法器
基于一个简单的加法器验证展示工具的原理和使用方法，这个加法器内部是简单的组合逻辑。
创建DUT
以果壳cache为例，介绍如何创建基于chisel的DUT
多文件输入
处理多个Verilog源文件
案例二：随机数生成器
基于一个16bit的LFSR随机数生成器展示工具的用法，该随机数生成器内部存在时钟信号、时序逻辑与寄存器。
覆盖率统计
覆盖率工具
高级案例
基于开放验证平台完成验证的复杂案例。
DUT验证
介绍验证的一般流程
案例三：双端口栈（回调）
双端口栈是一个拥有两个端口的栈，每个端口都支持push和pop操作。本案例以双端口栈为例，展示如何使用回调函数驱动DUT
多时钟
多时钟示例
案例四：双端口栈（协程）
双端口栈是一个拥有两个端口的栈，每个端口都支持push和pop操作。本案例以双端口栈为例，展示如何使用协程驱动DUT
多实例
多实例示例
验证报告
概述验证报告的结构与内容。
内部信号
内部信号示例
多语言支持
开放验证平台支持多种语言
PyTest
可用来管理测试，生成测试报告
Hypothesis
可用来生成激励
集成测试框架
可用软件测试框架