2. 合规性 (Compliance) 3. 定向测试和覆盖率指标 4. 谷歌开源项目:RISC-V DV with Instruction Stream Generation (ISG) 5. SystemVerilog 和 Test Bench 5.1. SystemVerilog 封装:预测试 Test Bench 5.2. SystemVerilog 封装:逐步比较 5.3. SystemVerilog 封装:在混合模式下测试 SoC 和处理器集成 6. 如何...
compliance test方法:test 分两大部分,一部分为,将所有的GPR初始化,然后插入一定量的NOP指令,然后将初始化的寄存器作为签名存入指定的memory,然后check每个GPR的值是否和初始化的值相等,以此来证明NOP指令不改变任何GPR的特性,第二部分,将NOP执行前后的PC做差,将差值作为签名内容存放在指定memory,然后调用check,检查PC...
RV32I是RISC-V的基础指令集,包含32位XLEN和整数运算I指令集。共40条指令,每条指令都设有对应的合规性测试。ADD指令,R-type,操作格式为 ADD rd,rs1,rs2。测试时,设置rs1和rs2寄存器的值,执行加法运算,并将结果存储至rd寄存器,最后验证rd内容与预设值一致。ADDI指令,I-type,操作格式为ADD...
新的指令兼容性(riscv-compliance)测试项相对于旧的指令兼容性测试项来说对指令的测试更加严谨,可以精确到每一条指令的运行结果,而且RISC-V官方一直在更新。 下面以add指令为例,说明如何运行新的指令测试程序。 打开CMD窗口,进入到sim/compliance_test目录,执行以下命令: ...
有关使用System Verilog进行SoC验证测试平台的方法的更多信息,可以在亚马逊提供的参考书中找到,如Chris Spear和Greg Tumbush所著的“system verilog for Verification:A Guide to Learning the test bench Language Features”(ISBN-13:978-1489995001)。 1、合规性(Compliance)...
Running the tests will report fail/pass results for each test. The framework is only part of the verification process, as explained in thedocumentation: The goal of compliance tests is to check whether the processor under development meets the open RISC-V standards or not. It is considered as...
新的指令兼容性(riscv-compliance)测试项相对于旧的指令兼容性测试项来说对指令的测试更加严谨,可以精确到每一条指令的运行结果,而且RISC-V官方一直在更新。 下面以add指令为例,说明如何运行新的指令测试程序。 打开CMD窗口,进入到sim/compliance_test目录,执行以下命令: ...
有关使用System Verilog进行SoC验证测试平台的方法的更多信息,可以在亚马逊提供的参考书中找到,如Chris Spear和Greg Tumbush所著的“system verilog for Verification:A Guide to Learning the test bench Language Features”(ISBN-13:978-1489995001)。1、合规性(Compliance)作为一个开放的ISA,一致性...
打开CMD窗口,进入到sim/compliance_test目录,执行以下命令: python .\compliance_test.py ..\..\tests\riscv-compliance\build_generated\rv32i\I-ADD-01.elf.bin inst.data 如果运行成功的话就可以看到'PASS'的打印。其他指令使用方法类似。 4.4运行C语言程序 ...
测试文件是:tinyriscv/compliance_test.py at master · liangkangnan/tinyriscv (github.com) 主要流程如下: 1.将给定的二进制文件(.bin)转换为内存文件(.mem) 2.编译 Verilog 文件,包括模拟器和被测模块 3.使用模拟器运行被测模块,将输出结果保存到文件中 ...