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

罗汉青; 梁利平; 叶甜春

Chinese

您当前的位置：

首页 >

文章列表页 >

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

更新时间：2026-09-04

- 一种基于可配置随机测试生成的多核验证方法
- A Method Based on Configurable Random Test Generation for Multi-core Verification
- 微电子学与计算机 2014年31卷第1期页码：88-91
- 作者机构：
  
  中国科学院机构微电子研究所,北京,100029
- 作者简介：
- 基金信息：
- DOI：
  中图分类号：
- 纸质出版：2014
- 稿件说明：
移动端阅览
罗汉青, 梁利平, 叶甜春. 一种基于可配置随机测试生成的多核验证方法[J]. 微电子学与计算机, 2014, 31(1): 88-91,98.

LUO Han-qing, LIANG Li-ping, YE Tian-chun. A Method Based on Configurable Random Test Generation for Multi-core Verification[J]. 2014, 31(1): 88-91.
罗汉青, 梁利平, 叶甜春. 一种基于可配置随机测试生成的多核验证方法[J]. 微电子学与计算机, 2014, 31(1): 88-91,98. DOI：

LUO Han-qing, LIANG Li-ping, YE Tian-chun. A Method Based on Configurable Random Test Generation for Multi-core Verification[J]. 2014, 31(1): 88-91. DOI：

摘要

多核设计规模和复杂度的不断提高，使功能验证变得越来越具挑战性.通过分析基于模拟仿真的多核验证方法，提出了一种基于可配置随机测试生成的多核cache一致性验证方法.该方法以随机测试生成为基础，通过配置随机生成参数来产生特定结构的多核验证指令流.此指令流的特点是，通过内存地址访问约束和多核同步操作的设置，来达成多核系统执行顺序的准确预测，进而通过自检测指令组的配置来完成自动快速结果比较.实验结果表明，该方法对多核一致性的验证是高效的.

Abstract

As multi-core designs architectural complexity increases

the challenge of verification grows dramatically.Through analyzing the methods of simulation based verification of multi-core designs

in this paper we present a new method based on configurable random test generation to verify multi-core cache coherence.Configurable random test generation is used to generate specified instruction streams by controlling generation variables.The execution sequence of the instruction stream in multi-core design can be predicted exactly by using memory address accessing constraints and synchronization operation.Further more

the self-checking instruction groups are used to check the simulation results automatically.The experiment result shows that our method is efficient.

关键词

Keywords

references

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

基于改进RT-DETR的航拍小目标检测算法

一种用于极低压boost系统的高效率电荷泵

基于监控指标关联性的微服务异常检测

基于多尺度融合与小目标增强的航拍车辆检测算法

V型沟槽SiC中子探测器的蒙特卡洛分析