”银河飞腾”DSP浮点部件的功能验证

摘要：

功能验证已成为VLSI设计周期的瓶颈,许多新技术不断出现.本文采用openvera这种HVL(高级验证语言)来对”银河飞腾”高性能DSP的浮点部件进行功能验证,建立了浮点部件的覆盖模型。并应用基于覆盖的验证、带约束的随机生成、验证的自动化等方法,实现了不同层次的验证,取得了较好的验证效果。

关键词： 数字信号处理 覆盖模型 浮点部件 功能验证 VLSI设计

作者: 段博海 郭阳 胡春媚

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

会议类型: 国内会议

会议名称: 第十届计算机工程与工艺全国学术年会

会议地点: 桂林

会议语种:中文

页码: 169-173

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