多核处理器事务级模型多视图协同验证环境

• 作者: 刘磊 张龙 李思昆 王俊
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 多核处理器 事务级模型 多视图 协同验证 SoCLib平台
• 年，卷（期）: 2014,（5）
• 页码范围: 821-827
• 页数: 7页
• 分类号: TP311.52
• 字数: 5323字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2014.05.008

摘要

随着集成电路工艺持续高速发展,片上处理器核数目呈现指数增长规律,设计复杂程度不断增长,对处理器验证提出了严峻的挑战,至今仍缺乏有效的工具手段.提出了一种多核处理器事务级模型的多视图协同验证方法,将模拟验证、形式验证、应用验证三种不同验证视图,采用统一平台集成为一体化验证环境.从而可在一体化验证环境中,充分发挥多种验证方法综合应用的优势,协同高效完成多核处理器事务级模型验证任务.基于SoCLib事务级建模仿真平台实现了一个具有良好可扩展性的多视图协同验证环境MVIE.初步应用实验结果表明,多视图协同验证和传统单一视图验证方法相比,在模型验证的方便性、完备性、高效性以及模型数据一致性维护等方面,具有明显的优势.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李思昆	国防科学技术大学高性能计算国家重点实验室	133	1339	18.0	31.0
2	刘磊	国防科学技术大学高性能计算国家重点实验室	20	61	5.0	7.0
3	王俊	国防科学技术大学高性能计算国家重点实验室	6	13	3.0	3.0
4	张龙	国防科学技术大学高性能计算国家重点实验室	4	13	2.0	3.0