计算机工程与科学2009，Vol.31Issue(z1)：55-58,4.DOI:10.3969/j.issn.1007-130X.2009.A1.018
一种带偏置的基于相关性分析的Cache一致性协议验证方法
A Biased Correlation Analysis Based Verification Method for Cache Coherence Protocol
夏竟 1徐炜遐 1张俊 1庞征斌1
作者信息
- 1. 国防科技大学计算机学院,湖南,长沙,410073
- 折叠
摘要
Abstract
As the hardware foundation of the CC-NUMA (Cache Coherency Non-Uniform Memory Access) system, cache coherence protocol plays a vital role in the system design process. For complex CC-NUMA systems, it is difficult to perform formal verification to the cache coherence protocol because of its great complexity, and the traditional pseudo-random simulation verification also has the problem of inefficiency. This paper presents a simulation based cache coherence protocol verification method which used in the complex CC-NUMA system. The method performs correlation analysis in verification coverage objectives, and use biasing improves the traditional pseudo-random simulation verification method. The actual verification results show that the method markedly improves the verification coverage increase speed.关键词
功能验证/测试激励自动生成/Cache一致性协议Key words
function verification/ auto test stimulation generation/ cache coherence protocol分类
信息技术与安全科学引用本文复制引用
夏竟,徐炜遐,张俊,庞征斌..一种带偏置的基于相关性分析的Cache一致性协议验证方法[J].计算机工程与科学,2009,31(z1):55-58,4.
