From 3ba088cd8b682208e9ec56cabdc4d12c1455982b Mon Sep 17 00:00:00 2001 From: yaozhicheng Date: Sat, 11 May 2024 12:38:48 +0800 Subject: [PATCH] add demo link --- Readme.md | 10 ++++++++++ Readme_cn.md | 19 +++++++++++++++---- 2 files changed, 25 insertions(+), 4 deletions(-) diff --git a/Readme.md b/Readme.md index ee89501..b77ecd9 100644 --- a/Readme.md +++ b/Readme.md @@ -29,6 +29,16 @@ Chip validation is a crucial aspect of chip design work. Skipping or insufficien 1. [Building Verification Environment](/doc/env_cn.md): Learn how to set up the basic verification environment, how to validate, and submit validation results. +**To accelerate the verification process, the verification environment has provided the following reusable features:** + +- Python DUT: Python module corresponding to each module to be verified +- FakeFTQ: A general interface for driving BPU, providing operations such as redirect and update +- BPU Trace: Branch jump data of real applications +- Pytest environment: Drive tests through pytest, generate test reports, provide code line coverage, and function coverage support + +For details, please refer to the test Demo: [uFTB-raw](/tests/uFTB-raw/README.md), [uFTB-with-ftq](/tests/uFTB-with-ftq/README.md) + + ## Repository Directory The structure of this repository directory and corresponding explanations are as follows: diff --git a/Readme_cn.md b/Readme_cn.md index 0598aeb..65eb39f 100644 --- a/Readme_cn.md +++ b/Readme_cn.md @@ -23,10 +23,21 @@ ## 学习材料 -1. **[基础学习材料](https://open-verify.cc/mlvp/docs/)**，学习什么是芯片验证，如何使用Python进行验证。 -1. **[香山BPU介绍](https://open-verify.cc/xs-bpu/docs/)**，学习什么是分支预测，香山处理器中采用了哪些基础预测器。 -1. **[如何参与本活动](/doc/join_cn.md)**，介绍如何参与本活动，有哪些活动规则。 -1. **[构建验证环境](/doc/env_cn.md)**，介绍基本验证环境搭建，如何进行验证和提交验证结果。 +1. **[基础学习材料](https://open-verify.cc/mlvp/docs/)**，学习什么是芯片验证，如何使用Python进行验证 +1. **[香山BPU介绍](https://open-verify.cc/xs-bpu/docs/)**，学习什么是分支预测，香山处理器中采用了哪些基础预测器 +1. **[如何参与本活动](/doc/join_cn.md)**，介绍如何参与本活动，有哪些活动规则 +1. **[构建验证环境](/doc/env_cn.md)**，介绍基本验证环境搭建，如何进行验证和提交验证结果 + + +**为了加速验证过程，验证环境已经提供了如下可复用功能：** + +- Python DUT：各待验证模块对应的python module +- FakeFTQ：用于驱动BPU的通用接口，提供redirect、update等操作 +- BPU Trace：真实应用的分支跳转数据 +- Pytest环境：通过pytest驱动测试，生成测试报告，提供代码行覆盖率，功能覆盖率支持 + +具体请参考测试 Demo: [uFTB-raw](/tests/uFTB-raw/README.md)、[uFTB-with-ftq](/tests/uFTB-with-ftq/README.md) + ## 本仓库目录