处理器 IP 验证 测试 RISC-V 处理器核心的符合性 

Chip auf Leiterplatte mit 3D-IP-Blöcken
验证 RISC V 处理器核心的符合性。

通过 RISC-V 验证应用程序,OneSpin Solutions 提供了一个工具来验证 RISC-V-IP 的实现情况 — 以确保完全符合指令集架构 (ISA)。

OneSpin Solutions GmbH 的RISC-V 验证应用程序是在 OneSpin 的 RISC-V 完整性验证工具套件框架下开发的第一个应用程序。该应用程序为不断增长的 RISC-V 社区提供了一种验证处理器核心的方法,以确保在开发和集成 RISC-V 核心时不会忽略任何错误,并且它们完全符合指令集架构 (ISA)。通过验证,RISC-V 核心的供应商可以更好地与已建立的、较早的指令集架构竞争。

安装该应用程序只需要一周时间,验证完整的 RISC-V 处理器核心需要两个小时。相比之下,其它验证设计可能需要几个月的时间来建立一个模拟,然后是几周的回归测试,但仍然可能有未被检测到的关键错误。形式方法只使用部分证明,不能由此确定所有隐藏函数,因此会导致验证不完整。

测试 RISC-V 型号和选项

为验证 RISC-V 处理器核心,OneSpin Solutions GmbH 开发了一款应用程序用于其 RISC-V 完整性验证工具套件。
随着对开源指令集架构 RISC-V 的需求增加,对其质量的要求也越来越高。一个艰难的验证挑战是,RISC-V-ISA 不仅能实现大量配置选项,而且还能实现多种微型结构,并允许进行自定义的添加。

用于 RISC-V 完整性验证工具套件的 OneSpin Solutions RISC-V 验证应用程序,通过获取和验证实施型号(如微型结构选项和 ISA 选项),解决了 RISC-V 处理器核心的验证挑战。

它标识未指定的指令、控制和状态寄存器 (CSR),获取和验证 RISC-V 允许的自定义扩展,并形式验证多个 SystemVerilog 断言 (SVA) 所获取的核心 ISA 符合性。RISC-V 验证应用程序可以覆盖所有与符合性相关的错误,如果没有发现错误,则可以证明 100% 符合。

RISC-V 验证应用程序已经在可用的开源 RISC V 核心上进行了测试。同时,该应用程序发现了 Rocket Core 中的几个错误,这些错误得到了开发者的确认,并在开源库中被消除。