一种面向微处理器验证的分层随机激励方法

作     者：张欣 黄凯 孟建熠 殷燎 严晓浪 葛海通 ZHANG Xin;HUANG Kai;MENG Jian-yi;YIN Liao;YAN Xiao-lang;GE Hai-tong

作者机构：浙江大学超大规模集成电路设计研究所杭州310027 

基　　金：国家"863"高技术研究发展计划资助项目(2004AA1Z1020) 

出 版 物：《计算机应用研究》 (Application Research of Computers)

年 卷 期：2010年第27卷第4期

页      码：1284-1288页

摘      要：针对日趋复杂的微处理器功能验证,提出一种基于分层思想的受限随机激励产生方法,通过测试层、场景层、功能层和指令层的多层约束,实现随机激励在不同粒度范围的高度可控性,精炼测试空间,加快验证的收敛速度。采用可配置的功能库,将处理器功能行为单元作为随机激励的构建基础,产生逻辑功能与通信接口结合的随机激励,实现系列处理器的验证复用。CKCore处理器验证的实验结果表明,该方法与受限随机激励相比,在功能覆盖率相同的情况下,激励编写量减少60%;在仿真时间相同的情况下,功能和代码覆盖率分别改善10%和5%以上,有效提高处理器验证的质量和效率。

主 题 词：分层 随机 激励 微处理器 功能 验证 约束 

学科分类：08[工学] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1001-3695.2010.04.022

馆 藏 号：203136376...