
IBEX验证
文章平均质量分 88
CDerL
RISC-V、硬件建模、硬件验证、智能网卡、DPU、Android、NPU、AI、NIC(network_interconnect)软件架构
展开
专栏收录文章
- 默认排序
- 最新发布
- 最早发布
- 最多阅读
- 最少阅读
-
IBEX系列之Verification学习笔记之riscv-dv:riscv_arithmetic_basic_test_0.S
这个汇编文件,涉及系统初始化、异常处理、陷阱处理以及用户态代码的执行。文件simulator & iss。原创 2025-03-03 17:42:44 · 396 阅读 · 0 评论 -
IBEX系列之Verification学习笔记之riscv-dv:link.ld
如何组织 RISC-V 可执行文件的内存布局。用于定义各个段的布局,影响 ELF 文件的组织方式。(Linker Script),用于告诉。原创 2025-03-03 17:26:05 · 481 阅读 · 0 评论 -
IBEX系列之Verification学习笔记之验证环境搭建
上图描述了IBEX core验证的整体Flow,该Flow主要包含了以下几部分工具的安装,这里ISS我们安装的spike,Simulator我们用的s家工具,请根据需要配置。configure的–enable-multilib选项,指代的是要同时支持rv32和rv64。–with-arch=rv64gc_zicsr_zifencei,指定支持的指令集类型。(nproc)指代的当前编译调用的处理器核心数量,可以加速make的编译。创建hello.c的C文件,源码如下。备注: pk可以指定pk对应的位置。原创 2025-03-03 15:05:35 · 1416 阅读 · 0 评论 -
IBEX系列之Verification学习笔记之Makefile
文件头部包含版权声明和许可证信息。主要用于配置和执行回归测试任务。这个Makefile主要用于配置和执行 Ibex 核心的回归测试任务。它通过脚本创建测试元数据,并使用wrapper.mk文件进行实际的构建和测试。配置选项和环境变量可以根据需要进行调整,以适应不同的测试需求。metadata.py 分析见博客wrapper.mk 分析见博客。原创 2025-03-03 11:27:11 · 790 阅读 · 0 评论 -
IBEX系列之Verification学习笔记之riscvdv.mk
定义变量路径定义核心配置变量文件路径。包含变量文件包含核心配置变量文件。定义变量依赖项gen, \使用函数生成核心配置文件的依赖项。该目标用于生成 riscv-dv 的核心配置文件,确保所有依赖项(包括模板文件和生成脚本)都已经生成。生成的配置文件路径为。定义变量路径定义指令生成器构建变量文件路径。包含变量文件包含指令生成器构建变量文件。定义变量依赖项gen, \使用函数生成指令生成器构建的依赖项。原创 2025-03-03 11:24:39 · 695 阅读 · 0 评论 -
IBEX系列之Verification学习笔记之wrapper.mk
wrapper.mk文件用于管理 Ibex 项目的回归测试构建流程。它定义了多个构建阶段和目标,设置了相关的环境变量和依赖关系,并通过包含其他脚本文件来完成具体的构建和仿真任务。原创 2025-03-03 11:11:18 · 651 阅读 · 0 评论 -
IBEX系列之Verification学习笔记之ibex_sim.mk
这个文件定义了多个目标(targets),主要用于编译和运行 Ibex RTL 仿真、收集结果和生成覆盖率报告。check_logsmerge_cov每个目标通常依赖于一些文件或其他目标,并执行特定的命令来完成相应的任务。原创 2025-03-03 11:03:20 · 1068 阅读 · 0 评论 -
IBEX系列之Verification学习笔记之metadata
main。原创 2025-02-28 17:38:34 · 589 阅读 · 0 评论