一种基于可配置随机测试生成的多核验证方法

发布时间：2019-03-22 12:31

【摘要】：多核设计规模和复杂度的不断提高,使功能验证变得越来越具挑战性.通过分析基于模拟仿真的多核验证方法,提出了一种基于可配置随机测试生成的多核cache一致性验证方法.该方法以随机测试生成为基础,通过配置随机生成参数来产生特定结构的多核验证指令流.此指令流的特点是,通过内存地址访问约束和多核同步操作的设置,来达成多核系统执行顺序的准确预测,进而通过自检测指令组的配置来完成自动快速结果比较.实验结果表明,该方法对多核一致性的验证是高效的.
[Abstract]:With the increasing scale and complexity of multi-core design, functional verification becomes more and more challenging. By analyzing the multi-core verification method based on simulation, a multi-core cache consistency verification method based on configurable random test generation is proposed. This method is based on random test generation and generates a specific multi-core verification instruction stream by configuring random generating parameters. The characteristic of this instruction flow is that by setting the memory address access constraint and multi-core synchronization operation, the execution order of multi-core system can be accurately predicted, and then the configuration of self-detecting instruction group is used to complete the comparison of automatic and fast results. The experimental results show that the proposed method is efficient for the verification of multi-core consistency.
【作者单位】： 中国科学院微电子研究所;
【分类号】：TP305

【参考文献】

相关期刊论文 前1条

1 王朋宇;陈云霁;沈海华;陈天石;张珩;;片上多核处理器存储一致性验证[J];软件学报;2010年04期

【共引文献】

相关期刊论文 前8条

1 王永明;;片多处理器和对称多核处理器的研究进展[J];甘肃联合大学学报(自然科学版);2013年04期

2 吕正;陈昊;陈峰;吕毅;;MOTEC:一个存储一致性模型验证工具[J];计算机工程;2012年11期

3 刘必广;;基于多任务的并行程序设计方法[J];计算机与数字工程;2010年12期

4 郭阳;李思昆;屈婉霞;;片上多核处理器验证:挑战、现状与展望[J];计算机辅助设计与图形学学报;2012年12期

5 高建良;韩银和;;多核处理器硅后调试技术研究最新进展[J];计算机应用研究;2013年02期

6 眭俊华;刘慧娜;王建鑫;秦庆旺;;多核多线程技术综述[J];计算机应用;2013年S1期

7 岳峰;庞建民;赵荣彩;;基于依赖分析的SPMD程序隐式同步检测及处理算法[J];软件学报;2013年08期

8 吕正;陈昊;陈峰;;一种ARM存储模型的快速检测方法[J];西安交通大学学报;2013年06期

相关博士学位论文 前2条

1 李静梅;多核处理器的设计技术研究[D];哈尔滨工程大学;2010年

2 吕正;多核处理器存储系统的验证方法研究[D];西北大学;2013年

相关硕士学位论文 前4条

1 王练;多内核验证平台设计与Turbo编译码技术研究[D];西安电子科技大学;2011年

2 王瑜;基于SOPC的多核处理器互连技术的研究[D];北京化工大学;2011年

3 纪丽婧;功能精确型多核处理器参考模型设计[D];杭州电子科技大学;2013年

4 盛肖炜;多核处理器内部核间通信研究[D];沈阳理工大学;2013年

【相似文献】

相关期刊论文 前10条

1 肖铁军,黄建文,陈祖爵;数字电路逻辑测试系统中的测试生成[J];江苏大学学报(自然科学版);1993年06期

2 冉蜀阳,陈光(礻禹);数字集成电路测试生成的一种专家系统方法[J];电子科技大学学报;1993年04期

3 康波,吕炳朝,陈光;基于混沌搜索的组合电路测试生成算法[J];电路与系统学报;2002年04期

4 崔晓天，，魏道政;组合电路测试生成研究及实验[J];计算机学报;1996年10期

5 潘中良;测试图形生成的遗传算法研究[J];电子科技大学学报;1997年05期

6 曾成碧,陈光

本文编号：2445591