中文 英语
系统与设计
白皮书

验证RISC-V核心的功能、安全性和信任的方法

RISC-V核心供应商和集成这些核心的系统上(SoC)团队的验证方法。

受欢迎程度

现代处理器设计提出了一些最棘手的硬件验证挑战。这些挑战对于RISC-V处理器核心设计来说尤其严峻,因为它有大量的变体和实现来源。本文描述了一种可用于RISC-V核心提供商和集成这些核心的片上系统(SoC)团队的验证方法。它涵盖功能正确性,包括遵从性、安全漏洞检测和没有插入恶意逻辑的信任验证。包括在实际RISC-V核心实现中发现的设计错误的详细示例。

作者:
陈伟伟,OneSpin Solutions,慕尼黑,德国
N. Tusinschi, OneSpin Solutions,德国慕尼黑
T. L. Anderson, OneSpin Solutions,美国加州圣何塞

点击在这里阅读更多。



留下回复


(注:此名称将公开显示)

Baidu