32、可现场修复控制逻辑的硬件设计与验证流程

可现场修复控制逻辑的硬件设计与验证流程

1. 设计框架概述

在处理器设计流程中部署可现场修复控制逻辑（FRCL）技术，需要在传统流程基础上增加两个关键步骤：
1. 形式验证核心功能 ：对处理器在降级模式下运行时的所有核心功能进行形式验证，以确保 FRCL 能够从修复的设计错误中恢复。
2. 选择关键控制信号 ：确定应成为“关键控制状态”一部分的信号，这些信号将由状态匹配器进行监控。

以下是 FRCL 增强型处理器设计流程的 mermaid 流程图：

graph LR
    classDef process fill:#E5F6FF,stroke:#73A6FF,stroke-width:2px;

    A(处理器设计):::process --> B(形式验证 - 核心单元):::process
    A --> C(选择关键信号):::process
    B --> D(系统级验证):::process
    C --> D
    D --> E(实现匹配器):::process
    E --> F(匹配器):::process
    E --> G(恢复控制器):::process
    F --> H(最终设计):::process
    G --> H

在降级模式下，指令之间不会相互交互，因此该模式的形式验证相较于现代处理器的传统验证工作大大简化，主要任务可简化为对各个功能块的验证。系统级验证则采用