22、处理器核心的后硅验证与多核处理器的后硅验证

处理器核心的后硅验证与多核处理器的后硅验证

处理器核心的后硅验证

在处理器核心的后硅验证中，传统方法存在一定的局限性。传统的后硅验证方法主要包括兼容性验证、在典型部署环境中测试处理器以及系统验证。系统验证着重强调对硅原型的广泛特性进行测试，特别是设计中新开发的部分。然而，这种方法需要开发定制的系统硬件，并且严重依赖架构仿真来计算正确的测试结果，以便与原型的结果进行比较。而架构仿真这一步骤恰恰是整个后硅验证过程的瓶颈。

为了解决这个问题，出现了一种新的验证方法——Reversi。Reversi生成的测试程序具有独特的优势。这些程序旨在让只有正确运行的硬件才能产生易于验证的结果，这样在执行完成时就能迅速检测到不正确的操作。而且，Reversi会创建具有多个交错执行流程的复杂程序，这些程序会对指令集架构中的所有操作进行测试，常常能暴露出潜在的边缘情况错误。

Reversi构建程序的方式也很特别，它由一系列功能块和逆功能块组成。功能块用于修改机器状态，逆功能块则用于反转之前的操作并恢复原始机器状态。每个块都可以进行参数化，并且可能由一条或多条指令组成，这些指令在测试生成期间从块数据库中随机选择。Reversi能够处理所有类型的ISA指令，包括算术（整数和浮点）、逻辑、内存访问、控制流和控制寄存器操作。

实验评估表明，Reversi生成的程序比传统的受限随机测试生成技术能够更快地发现更多的错误。此外，由于省略了架构仿真步骤，Reversi生成和执行测试的速度大约比基于典型后硅系统验证流程的方法快二十倍。

以下是Reversi的优势总结表格：
|优势|描述|
| ---- | ---- |
|快速检测错误|程序设计使正确硬