Codasip对于处理器验证的意义

Why Codasip Cares About Processor Verification – and Why you Should too?

众所周知，在硅片中发现任何一个硬件错误都会造成一定程度的后果，这些后果对终端用户的严重程度取决于其使用情况。而对于产品制造商来说，一旦设计进入大规模生产阶段，修复任何一个错误都会产生巨大的成本。因此，投资于处理器验证是确保品质的根本，这也是为什么Codasip如此热衷于处理器验证？而您也应该对此给予高度关注！

幸运的是，根据统计在我们所处的半导体行业，软件错误比硬件要多，特别是在处理器中。然而我们知道，软件可以很容易空中升级，直接在消费者使用的最终产品中升级。但对于硬件来说，这就不那么简单了，硬件问题可能会产生非常严重的后果，因为我们所交付的产品质量，最终将出现在实际芯片中，这一点非常重要。

每个处理器都有不同的质量要求！

当今世界处理器无处不在！它们控制着我们笔记本电脑中的闪存、汽车的制动系统或信用卡上的芯片。这些产品CPU不仅有着不同的性能要求，同时也有着不同的安全和保障要求。换句话说，处理器的具体需求因产品而异。

如果您的笔记本电脑中的Wi-Fi芯片丢失了几个帧，这是一个大问题吗？NO,因为此时Wi-Fi协议会重新传输数据包，这些丢失的内容基本上不会被注意到。但如果您的笔记本电脑的固态硬盘控制器丢了几个数据包，将您一天的工作文件毁于一旦，这无疑是一个非常严重的影响。可即使是这样，我们还可以尝试修复电脑，也就是说这样的错误大体上是可以被接受的范围。

而其他产品硬件故障的后果要严重得多！如果汽车制动系统因为硬件问题而失效呢？或者飞机上的电传通信出现故障？抑或是一颗卫星因为其轨道控制失效而坠落到地球上呢？在这些产品中，失误和硬件故障在根本上是无法接受的。

关于处理器的品质，其可靠性是处理器验证团队的主要关注点，而处理器验证是一门微妙的艺术！

处理器验证的微妙艺术

完美的处理器验证需要策略、勤勉和完整性。

完成一个处理器的验证意味着要将所有的不确定性考虑在内。最终产品上可能会运行什么软件？会有什么案例？可能会发生什么异步事件？这些未知因素意味着要大大扩展验证范围。然而，覆盖整个处理器的状态空间是不可能的，同时这也不是我们所追求的目标。

必须在保证处理器品质的情况下，同时最大限度的利用时间和资源，最终的投资回报率也必须是积极的。没有人愿意在产品发布后才发现代价高昂的错误，也没有人愿意因为低效的验证策略而延误项目。最为智能的处理器验证意味着在产品开发过程中尽早有效地发现相关bug。

换句话说，处理器验证必须着重于：

验证需在在处理器开发过程完成，并与设计团队紧密合作。一旦处理器的设计被确定下来，仅仅验证它是不够的，而验证必须在某种程度上来推动设计!

验证是所有行业标准技术的组合。不同类型、不同复杂程度的bug，可能会通过使用随机测试、代码覆盖率、形式化证明、功率感知仿真等手段来发现。使用多种技术可以使您最大限度地发挥每种技术的潜力（这种组合策略也可以称之为瑞士奶酪模型），并有效地覆盖尽可能多的极端情况。

验证这是一门持续的科学。随着处理器变得更加复杂而不断发展，科学有效的方法是通过各种技术的组合策略来完成验证。当我们从以前的错误和设计中反思学习时，就可以开发不同的方式方法，用以完善我们的验证并提供一流质量的IP。

处理器品质是根本。验证处理器是一门微妙的艺术，它随着行业的变化和新要求的出现而不断发展。在Codasip，我们建立了科学有效的验证流程，使我们能够提供最高品质的RISC-V可定制处理器。通过Codasip Studio和相关工具，我们可以为客户提供最好的技术支持，协助客户跟进和验证特定的处理器定制!

作者：

Philippe Luc

Codasip验证事业部总监

编辑：黄飞