IT评测·应用市场-qidao123.com技术社区

标题: Riscv 指令集和架构的合规测试 [打印本页]

作者: 冬雨财经 时间: 2024-12-11 01:06
标题: Riscv 指令集和架构的合规测试

为什么要进行RISC-V core的compliance test

RISC-V core的compliance test就是确保RISC-V core的设计符合RISC-V的尺度。但要留意，RISC-V compliance test不是RTL的verification，它关注的点在指令集而不是RTL的功能是否正确。
由于RISC-V属于开源指令集架构且变得越来越流行，现在全球几十个国家都在基于RISC-V做RISC-V core的开发，以是需要有compliance test来确保不同国家或者不同公司设计的RISC-V core都符合RISC-V的尺度。
如果不同的RISC-V core "non-compliance"会发生什么情况？

会导致RISC-V生态的碎片化，通俗来讲就是不同的公司设计的RISC-V core很难从RISC-V生态中受益，像它们很难或者根本不能使用通用的GCC，LLVM，GDB等软件工具，而且每家公司开发的系统和软件也几乎只能在自家的core上运行，这对RISC-V生态的建设来讲是一场劫难。
两种不同的合规测试

riscv-tests riscv-arch-test
riscv-tests 和 riscv-arch-test 是两个针对 RISC-V 架构的测试工具，它们在功能和定位上有一些区别。

riscv-tests：

功能：riscv-tests 是一个用于测试 RISC-V 指令集的工具集。它包罗了一系列的汇编和 C 语言编写的测试程序，用于验证处理器对 RISC-V 指令集的支持是否正确。
目标：主要用于测试指令集的正确性，覆盖了整数指令、浮点指令、原子操纵、异常处理等方面。
测试方式：riscv-tests 的测试主要是针对指令级别的，通过执行一系列的测试程序来验证处理器是否正确支持相应的指令集功能。
实现语言：主要使用汇编语言和 C 语言编写。

riscv-arch-test：

功能：riscv-arch-test 是一个用于测试 RISC-V 架构兼容性的工具。它不仅包罗了对指令集的测试，还包罗了对架构规范的测试，如对特权级别切换、内存访问模型等方面的测试。
目标：主要用于测试处理器对 RISC-V 架构规范的支持是否正确，涵盖了架构的各个方面。
测试方式：riscv-arch-test 的测试更全面，不仅仅是指令级别的测试，还包罗对特权级别、内存模型、异常处理等方面的测试。
实现语言：riscv-arch-test 的测试框架一样平常使用 Python 编写，而测试用例可以使用汇编语言、C 语言等。
总的来说，riscv-tests 更侧重于测试指令级别的正确性，而 riscv-arch-test 则更侧重于测试处理器对整个 RISC-V 架构规范的支持和兼容性。通常，在开发和验证 RISC-V 处理器时，这两个测试工具会一起使用，以确保处理器在指令级别和架构级别都能正确地运行。

架构测试套件的意图

RISC-V架构测试是一组不停发展的测试，旨在帮助确保为给定的RISC-V配置文件/规范编写的软件将在符合该配置文件的全部实现上运行。
这些测试另有助于确保实现者正确理解和实现规范。
RISC-V架构测试套件是一个最小的过滤器。通过测试并得到RISC-V International批准的许可与设计相干的RISC-V商标的先决条件。通过RISC-V架构测试并不意味着设计符合RISC-V架构。这些只是一组根本的测试，查抄规范的紧张方面，而不关注细节。
RISC-V架构测试不能替换严酷的设计验证。
架构测试提供给用户的效果是保证规范已被正确解释，并且被测实现（DUT）可以声明为符合 RISC-V 架构测试。
合规测试和验证的关系

由于 RISC-V 是一个开放的 ISA，因此一致性测试对于确认根本操纵是否符合规范至关紧张。虽然这是软件社区和工具/操纵系统生态系统的关键要求，但合规性并不等同于验证。合规性要求是根本布局和一些根本行为在答应的规范功能范围内;它不会详尽地测试处理器的全部功能方面——它确认 RTL 实现者已阅读并理解 ISA 规范。根据界说，处理器是一种具有动态中断和多种操纵模式和权限级别的复杂的状态机，这些状态机出现出许多未包罗在合规测试范围中的场景，因此不应被视为等同于验证测试套件。合规性测试只是完备 DV 计划的一个方面。
对于 RISC-V 合规测试中包罗的这些测试程序，其做法都是接纳 Signature 检测验证法，即测试程序在运行过程中会向内存中写入某些标记。在程序运行结束后，再将内存中的这些数据读取出来，并与尺度效果做比对。这个方法不对处理器运行的中心状态做监测，可以看作是一种黑盒验证法。

免责声明：如果侵犯了您的权益，请联系站长，我们会及时删除侵权内容，谢谢合作！更多信息从访问主页：qidao123.com:ToB企服之家，中国第一个企服评测及商务社交产业平台。

欢迎光临 IT评测·应用市场-qidao123.com技术社区 (https://dis.qidao123.com/)