中文会议： 第十二届计算机工程与工艺全国学术年会(NCCET'08)论文集

会议日期： 2008-08-01

会议地点： 呼和浩特

主办单位： 中国计算机学会

作　　者： ; ; ; ;

机构地区： 国防科学技术大学计算机学院

出　　处： 《第十二届计算机工程与工艺全国学术年会(NCCET'08)》

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

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

领　　域： [自动化与计算机技术]