检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:张欣[1] 黄凯[1] 孟建熠[1] 殷燎[1] 严晓浪[1] 葛海通[1]
机构地区:[1]浙江大学超大规模集成电路设计研究所,杭州310027
出 处:《计算机应用研究》2010年第4期1284-1288,共5页Application Research of Computers
基 金:国家"863"高技术研究发展计划资助项目(2004AA1Z1020)
摘 要:针对日趋复杂的微处理器功能验证,提出一种基于分层思想的受限随机激励产生方法,通过测试层、场景层、功能层和指令层的多层约束,实现随机激励在不同粒度范围的高度可控性,精炼测试空间,加快验证的收敛速度。采用可配置的功能库,将处理器功能行为单元作为随机激励的构建基础,产生逻辑功能与通信接口结合的随机激励,实现系列处理器的验证复用。CKCore处理器验证的实验结果表明,该方法与受限随机激励相比,在功能覆盖率相同的情况下,激励编写量减少60%;在仿真时间相同的情况下,功能和代码覆盖率分别改善10%和5%以上,有效提高处理器验证的质量和效率。To address the increasing complexity of microprocessor function verification,this paper presented a new multiple-layer constraint random stimulation generation strategy.Multi-layer constraints from four layers,test,scenario,function and command,could strengthen the controllability on random stimulus generation in different granularities,and refine the stimulus space to speed up the whole verification work.Moreover,based on those fundamental functional behavior units of microprocessor,proposed a new configurable function library to generate two kinds of random stimulus for internal logic function and external communication interface respectively with better reusability for series processor verification.As shown in CKCore microprocessor verification experiments,compare with traditional constraint random stimulus generation,the proposed strategy can effectively improve the quality and efficiency of microprocessor verification,with 60% stimulus coding reduction,while more than 10% and 5% function and code coverage increase.
分 类 号:TP303[自动化与计算机技术—计算机系统结构]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.66