文献类型：期刊文章

作　　者：程开丰[1] 罗汉青[1] 梁利平[1]

CHENG Kaifeng;LUO Hanqing;LIANG Liping(Institute of Microelectronics,University of Chinese Academy of Sciences,Beijing 100029,China)

机构地区：[1]中国科学院大学微电子研究所,北京100029

出　　处：《湖南大学学报（自然科学版）》

基　　金：国家科技重大专项项目(2013ZX03003015)~~

年　　份：2018

卷　　号：45

期　　号：4

起止页码：148-154

语　　种：中文

收录情况：AJ、BDHX、BDHX2017、CAS、CSA-PROQEUST、CSCD、CSCD2017_2018、EI、JST、MR、RCCSE、RSC、ZGKJHX、ZMATH、核心刊

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

关 键 词：总线系统 有向二分图模型  等价类划分 高层次功能覆盖率模型  结构化激励生成  

分 类 号：TP302]