这是本节的多页打印视图。 点击此处打印.

返回本页常规视图.

功能列表

硬件验证中的 功能列表(Feature List) 列出了需要验证的设计的各种功能、特性。本节提供了每个验证任务的基础功能列表,以供参考。

硬件验证中的 功能列表(Feature List) 列出了需要验证的设计的各种功能、特性。在开始验证之前,我们一般都会先列出该设计的功能列表,来明确我们本次任务需要对哪些特性进行验证。

如果要验证功能列表中的一个特征,我们将会针对这一特征构建所需的测试点,并编写测试用例来覆盖这些测试点。因此功能列表不仅仅是对待验证设计的一份功能描述,还是对我们一次验证方向的指引,也是对一次验证的任务量的简单概括。

在本次验证中,我们为每个验证任务(即 BPU 顶层及每个子预测器)提供了一份基础的功能列表,这些特征仅涵盖了对应模块的基础功能,在你的验证中,必须保证本次验证可以覆盖到这些特征。在此基础上,你还可以对列表中没有涵盖到的特征进行补充,以保证最后的交付质量。

在本节文档中,你只需要查看你将要验证模块所对应的文档即可。

1 - BPU Top 功能列表

功能列表(Feature List)

  1. 支持 uFTB 子预测器
  2. 支持 TAGE-SC 子预测器
  3. 支持 FTB 子预测器
  4. 支持 ITTAGE 子预测器
  5. 支持 RAS 子预测器
  6. 支持三阶段预测结果及其他信息输出
  7. 支持预测结果重定向信号生成
  8. 支持流水线控制信号生成
  9. 支持 PC 生成
  10. 支持全局分支历史维护
  11. 支持分支折叠历史维护
  12. 支持重定向请求响应,恢复状态
  13. 支持更新请求响应

2 - uFTB 功能列表

功能列表(Feature List)

  1. 支持基于 FTB 项的预测
  2. 支持两比特饱和计数器
  3. 支持 s1 通道基础预测结果输出及 meta 信息输出
  4. 支持更新请求响应,更新内部 FTB 及两比特饱和计数器。

3 - FTB 功能列表

功能列表(Feature List)

  1. 支持 FTB 项存储
  2. 支持 s2, s3 通道基础预测结果输出以及 meta 信息输出
  3. 支持更新请求响应,更新内部 FTB 项

4 - TAGE-SC 功能列表

功能列表(Feature List)

  1. s2 TAGE 输出预测结果
  2. s3 SC 输出预测结果
  3. s2 TAGE 输出meta信息
  4. s3 SC 输出meta信息
  5. TAGE 进行更新训练
  6. 检查申请新表项
  7. 全局重置useful
  8. SC 进行更新训练

5 - ITTAGE 功能列表

功能列表(Feature List)

  1. s2 ITTAGE 决定是否产生预测结果
  2. s3 ITTAGE 读取预测的跳转目标
  3. s3 ITTAGE 输出meta信息
  4. ITTAGE 进行更新训练
  5. 检查申请新表项
  6. 全局重置useful
  7. 预测方向

6 - RAS 功能列表

功能列表(Feature List)

  1. 支持预测器的开启关闭操作
  2. 支持s3预测结果覆盖s2预测结果
  3. 支持ras栈的push、pop操作
  4. 支持ras栈的redirect操作
  5. 支持ras栈的update操作
  6. 支持base predictor接口
  7. 符合标准RAS预测器预测流程