X-DSP乘法部件的功能验证

摘要：

　　对X-DSP乘法部件进行系统级的功能验证，采用基于模拟的自动验证方法。阐述了乘法部件的基本功能及结构特点，简述了自动验证平台的结构，重点讨论分析了验证方法与方案，描述了验证流程，分析了验证的代码覆盖率。

关键词： 模拟验证 乘法部件 代码覆盖率

作者: 刘建平 陈书明 吴虎成

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

会议类型: 国内会议

会议名称: 2012全国计算机体系结构学术年会

会议地点: 西安

会议语种:中文

页码: 22-25

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