论坛
潜水/灌水快乐,沉淀知识,认识更多同行。
ToB圈子
加入IT圈,遇到更多同好之人。
朋友圈
看朋友圈动态,了解ToB世界。
ToB门户
了解全球最新的ToB事件
博客
Blog
排行榜
Ranklist
文库
业界最专业的IT文库,上传资料也可以赚钱
下载
分享
Share
导读
Guide
相册
Album
记录
Doing
搜索
本版
文章
帖子
ToB圈子
用户
免费入驻
产品入驻
解决方案入驻
公司入驻
案例入驻
登录
·
注册
只需一步,快速开始
账号登录
立即注册
找回密码
用户名
Email
自动登录
找回密码
密码
登录
立即注册
首页
找靠谱产品
找解决方案
找靠谱公司
找案例
找对的人
专家智库
悬赏任务
圈子
SAAS
IT评测·应用市场-qidao123.com
»
论坛
›
软件与程序人生
›
云原生
›
Riscv 指令集和架构的合规测试
Riscv 指令集和架构的合规测试
冬雨财经
金牌会员
|
2024-12-11 01:06:21
|
显示全部楼层
|
阅读模式
楼主
主题
946
|
帖子
946
|
积分
2838
为什么要进行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企服之家,中国第一个企服评测及商务社交产业平台。
本帖子中包含更多资源
您需要
登录
才可以下载或查看,没有账号?
立即注册
x
回复
使用道具
举报
0 个回复
倒序浏览
返回列表
快速回复
高级模式
B
Color
Image
Link
Quote
Code
Smilies
您需要登录后才可以回帖
登录
or
立即注册
本版积分规则
发表回复
回帖并转播
回帖后跳转到最后一页
发新帖
回复
冬雨财经
金牌会员
这个人很懒什么都没写!
楼主热帖
信息与网络安全期末复习(完整版) ...
iOS全埋点解决方案-手势采集 ...
ts保姆级教程,别再说你不会ts了 ...
如何通过JDBC访问MySQL数据库?手把手 ...
Elasticsearch学习系列五(零停机索引 ...
Pod概述
Fastjson反序列化
Linux安装PHP8 新版笔记
Log4j2 CVE-2021-44288 代码审计(底层 ...
《ABP Framework 极速开发》教程首发 ...
标签云
运维
CIO
存储
服务器
浏览过的版块
移动端开发
物联网
linux
开源技术
快速回复
返回顶部
返回列表