riscv vector tests

RISC-V矢量测试生成器

关于

该存储库托管RISC-V向量扩展程序的单元测试生成器。

特征

• 类似于RISCV测试，简​​单易用
• 默认情况下自我验证，共同模拟器友好
• 用户模式和机器模式二进制文件
• TestFloat3集成
• 支持RV32和RV64
• 测试从E8到E64的缝制
• 测试LMUL从MF8到M8
• 支持VLEN从64到4096
• 支持各不相同：ZVFH，ZVBB，ZVBC，ZVKG，ZVKNED，ZVKNHA，ZVKSED和ZVKSH
• 可配置，请make help

限制

• 所有测试都是根据指​​令，并且或多或少地以相同的方式完成
• 缺乏尾部/面具不可知论（即TA/MA）
• 缺乏仅断层的测试
• 缺乏VSTART测试
• 缺乏注册组重叠测试
• ...还有更多

总体而言，没有保险统计或保证。

它如何工作

尖峰模拟器被称为RISC-V金标准模拟器，尽管我们不知道如何测试Spike，但它确实完全支持V扩展。因此，我们在Spike中添加了自定义的特殊指令，对于任何测试，让IT会自动为该测试生成参考结果。这样，我们几乎自动为所有说明生成测试。在此框架下，我们要做的就是为每个指令编写一个简单的配置文件。

先决条件

1. riscv64-unknown-elf-gcc并获得RVV 1.0支持
2. 尖峰模拟器
3. Golang 1.19+
4. riscv-pk如果您需要生成用户模式二进制文件

对于初学者，您可以直接从GitHub Action工件下载预生成的测试。

如何使用

 make all -j$(nproc)

如果您遇到问题，请参阅build-and Test.yml中的构建步骤。

make all后，您将在out/v[vlen]x[xlen][mode]/bin/stage2/中找到所有生成的测试。

有关更高级的选项，请make help 。

注意：Single/Single.GO直接从阶段1生成测试，适用于具有共模拟器的目标（或者如果您懒惰，请简单地使用TEST_MODE=cosim ）。

NIX包

该存储库还提供了一个NIX推导，并提供了以下输出：

• ${riscv-vector-test}/bin/* ：发电机二进制文件
• ${riscv-vector-test}/include/* ：运行时使用的必要标题
• ${riscv-vector-test}/configs/* ：必要的运行时配置

执照

该项目使用第三方项目，这些项目的许可附属于相应的目录。

该项目的代码分布在Apache许可证版本2.0版本下。

“ RISC-V”商标名称是RISC-V International的注册商标。