Skip to content

Commit 320e01f

Browse files
committed
Use unordered list for race-kernel
1 parent 5cd81a7 commit 320e01f

File tree

1 file changed

+6
-6
lines changed

1 file changed

+6
-6
lines changed

content/verifytask/11_RACE_KERNEL.md

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -101,9 +101,9 @@ Spike 是由 RISC-V 官方开发的一款功能模拟器(functional simulator
101101

102102
下图皆以 add 算子为例,请根据具体情况替换算子名称,并将全部提交文件打包命名为 **姓名_算子名称.zip** `(xxx_add.zip)`
103103

104-
| | |
105-
| ------------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ |
106-
| 提交文件 | 文件说明与具体要求 |
107-
| **test_add.elf** | 按照作业流程说明和样例文档,使用 RISC-V 交叉编译工具链将以下目标文件正确链接生成的可执行 ELF 文件: <br>• add.o (由 add.s 编译生成) <br>• crt.o ; syscalls.o ; mlir_memrefcopy_spike.o ; test_compact.ld (由任务包内提供) <br>• test_add.o (由自行编写的 test_add.c 编译生成) |
108-
| **测试代码** (test_add.c) | 用于验证算子 kernel 正确性的 C 源代码,需满足:<br> • 正确声明并调用 kernel 函数,参数传递符合 .ll 文件定义,并附注释说明各参数语义;<br> • 包含与理论预期结果的比对逻辑;<br> • 根据算子类型提供充分测试:<br> 若为**计算类算子**(如加法、乘法等),需使用 **至少 500 个输入数据** 并输出对应计算结果;<br> 若为**数据操作类算子**(如 transpose、repeat 等),需覆盖 **2–3 种典型情形**(如不同维度、步长、对齐方式等),若存在特殊边界情况(如空输入、单元素、非对齐访问等),也必须包含相应测试。 |
109-
| **运行截图** | 在终端中使用 Spike 模拟器运行 test_add.elf 后输出截图,需清晰显示:<br> • Spike 启动命令;<br> • 程序打印的输入摘要、实际输出、预期结果及最终验证结论(如 “PASS” / “FAIL”);<br> (可参考流程示例文档) |
104+
| | |
105+
| ------------------------- | ------------------------------------------------------------ |
106+
| 提交文件 | 文件说明与具体要求 |
107+
| **test_add.elf** | 按照作业流程说明和样例文档,使用 RISC-V 交叉编译工具链将以下目标文件正确链接生成的可执行 ELF 文件: <ul><li>add.o (由 add.s 编译生成) </li><li>crt.o ; syscalls.o ; mlir_memrefcopy_spike.o ; test_compact.ld (由任务包内提供) </li><li>test_add.o (由自行编写的 test_add.c 编译生成)</li></ul> |
108+
| **测试代码** (test_add.c) | 用于验证算子 kernel 正确性的 C 源代码,需满足: <ul><li>正确声明并调用 kernel 函数,参数传递符合 .ll 文件定义,并附注释说明各参数语义;</li> <li>包含与理论预期结果的比对逻辑;</li> <li>根据算子类型提供充分测试:</li> <ul><li>若为**计算类算子**(如加法、乘法等),需使用 **至少 500 个输入数据** 并输出对应计算结果;</li><li>若为**数据操作类算子**(如 transpose、repeat 等),需覆盖 **2–3 种典型情形**(如不同维度、步长、对齐方式等),若存在特殊边界情况(如空输入、单元素、非对齐访问等),也必须包含相应测试。</li></ul></ul> |
109+
| **运行截图** | 在终端中使用 Spike 模拟器运行 test_add.elf 后输出截图,需清晰显示:<ul> <li>Spike 启动命令;</li> <li>程序打印的输入摘要、实际输出、预期结果及最终验证结论(如 “PASS” / “FAIL”);</li></ul> (可参考流程示例文档) |

0 commit comments

Comments
 (0)