面向总线系统的高层次结构化激励生成算法

• 作者: 梁利平 程开丰 罗汉青
• 来源期刊: 湖南大学学报（自然科学版）
• 关键词: 总线系统 有向二分图模型 等价类划分 高层次功能覆盖率模型 结构化激励生成
• 年，卷（期）: 2018,（4）
• 所属期刊栏目: 电气与信息工程
• 页码范围: 148-154,160
• 页数: 8页
• 分类号: TP302
• 语种: 中文
• DOI: 10.16339/j.cnki.hdxbzkb.2018.04.019

摘要

为了应对大规模设计中逻辑信号级输入激励空间爆炸的问题,针对总线系统提出了一种高层次结构化激励生成算法和相应的功能覆盖率模型.首先将总线系统抽象成通用有向二分图模型,然后建立相应激励的高层次数学模型,由此提出一种通用的层次化输入激励空间等价类划分算法和对应的高层次功能覆盖率模型,最后基于树的搜索提出了2种结构化激励生成算法.上述方案成功应用于 IME-Diamond SoC 的总线系统的功能验证中,实际结果表明,相比代码覆盖率,高层次功能覆盖率模型的揭示功能Bug 能力更强,而且相对于传统的随机生成,结构化的激励生成能够将覆盖率收敛所需的激励数减少96%.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	梁利平	中国科学院大学微电子研究所	47	126	7.0	9.0
2	罗汉青	中国科学院大学微电子研究所	5	18	2.0	4.0
3	程开丰	中国科学院大学微电子研究所	1	0	0.0	0.0