现代处理器设计提出了一些最棘手的硬件验证挑战。这些挑战对于RISC-V处理器核心设计来说尤其严峻,因为它有大量的变体和实现来源。本文描述了一种可用于RISC-V核心提供商和集成这些核心的片上系统(SoC)团队的验证方法。它涵盖功能正确性,包括遵从性、安全漏洞检测和没有插入恶意逻辑的信任验证。包括在实际RISC-V核心实现中发现的设计错误的详细示例。
作者:
陈伟伟,OneSpin Solutions,慕尼黑,德国
N. Tusinschi, OneSpin Solutions,德国慕尼黑
T. L. Anderson, OneSpin Solutions,美国加州圣何塞
点击在这里阅读更多。
留下回复