DSP分支控制部件的功能验证

摘要：

本文采用直接模拟、伪随机生成等方法对DSP定点处理器功能部件的RTL设计进行功能验证.采用NC-Vetilog模拟器和功能模型提取工具TranSpirit相结合的新方法对全定制模块功能验证,提高了全定制设计的验证效率。

关键词： DSPP 定点处理器 功能部件 全定制模块 全定制设计 功能验证

作者: 龚晓 李振涛 李勇 郭阳

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

会议类型: 国内会议

会议名称: 第十二届计算机工程与工艺全国学术年会(NCCET”08)

会议地点: 呼和浩特

会议语种:中文

页码: 389,399

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