一种基于行为级参考模型的多核处理器验证方法  

Microprocessor Verification Methodology Based on Behavioral Reference Model

作　　者：罗伟[1] 朱巍[1] 李强[1] 丁亚军[1] 

机构地区：[1]江南计算技术研究所,无锡214000

出　　处：《高性能计算技术》2013年第3期41-44,共4页

摘　　要：本文在介绍微处理器功能验证结果自动检查方法和微处理器参考模型的基础上，阐述了在某微处理器功能验证中采用的，基于行为级参考模型验证方法的具体策略，并详细介绍了如何解决验证过程中的几个关键问题，同时对验证完备性进行了分析。This paper firstly introduces some common theories of checking result automatically in micro-processor functional verification and different reference model of micro-processor, expatiates the verification strategy which is based on behavior-level reference model and used to verify a certain micro-processor, then explains how to resolve some pivotal questions in verifying, and finally analyses the completeness of this verification method.

关 键 词：功能验证 参考模型 实时比较 验证完备性 

分 类 号：TP306[自动化与计算机技术—计算机系统结构]