Cache一致性验证的结构化激励生成算法

作者：程开丰; 罗汉青; 梁利平^*

来源：湖南大学学报(自然科学版), 2018, 45(10): 108-114.

DOI：10.16339/j.cnki.hdxbzkb.2018.10.015

• Cache一致性
• 有向二分图模型
• 等价类划分
• 高层次功能覆盖率模型
• 结构化激励生成

为解决Cache一致性验证中传统随机激励方法的冗余覆盖及覆盖死角等问题,提出了一种高层次结构化激励生成算法和相应的高层次功能覆盖率模型.首先根据实际多核应用场景将冲突访存操作分类成基本同步和复杂同步,并进一步抽象成有向二分图模型,由此提出一种通用的层次化输入空间等价类划分算法和对应的高层次HSPC(Host Slave Pair Coverage)功能覆盖率模型,最后基于树的搜索提出了结构化激励生成算法.上述方案成功应用于IME-Diamond SoC的Cache一致性的功能验证中,实际结果表明,相比传统基于代码的覆盖率,高层次HSPC功能覆盖率模型的揭示功能Bug能力更强,而且相对于传统的随机生成,结构化的激励能够将覆盖率收敛所需的激励数减少96.3%.

• 单位
  中国科学院大学; 中国科学院微电子研究所