系统级分块式验证程序的设计与实现

摘要：

本文概述了3种IP核验证的基本方法以及它们的优缺点.在此基础之上,并基于实际的设计工作总结,提出了系统级分块式验证方法,并设计实现了YHFT-MP DSP芯片的中断与异常模块验证程序.该验证方法可以有效定位隐藏在设计中的深层次错误,提高了模块级功能验证的覆盖率,避免了繁琐的重复跑验证程序的工作,大大加快验证过程.

关键词： 数字信号处理器 中断与异常模块 系统级分块式验证程序 设计理念

作者: 吴家铸 鲍宜鹏 许邦建

作者单位: 国防科技大学计算机学院 长沙410073

会议类型: 国内会议

会议名称: 第十七届计算机工程与工艺年会暨第三届微处理器技术论坛

会议地点: 西宁

会议语种:中文

页码: 449-453

在线出版日期: 2013-07-20（万方平台首次上网日期，不代表论文的发表时间）