首页> 中文会议>第十九届计算机工程与工艺年会暨第五届微处理器技术论坛 >FT-X DSP派发部件的IFV验证

FT-X DSP派发部件的IFV验证

页面导航

摘要
著录项
相似文献
相关主题

摘要

基于模拟的验证方法是当前应用最为广泛的芯片验证方法,然而随着集成电路设计规模的不断增大,模拟验证的不完备性问题显得越来越突出,编写激励变得越来越困难.对于FT-XDSP派发部件的验证由于结构的复杂性,指令组合的多样性,使得模拟验证变得非常困难,仅仅采用模拟验证方法难以达到全面高效的验证要求.本文采用一种形式化验证分析工具——IFV,基于SVA语言,以定理证明的形式化验证方法针对FT-X DSP派发部件在分支和中断接口关闭情况下的预译码,并行位编码,指令窗口生成以及再译码等功能进行了验证.实验结果表明,使用本文的方法可以很快发现存在的错误,IFV验证是全面和高效的.

著录项

来源
《第十九届计算机工程与工艺年会暨第五届微处理器技术论坛》|2015年|146-151|共6页
会议地点哈尔滨
作者
刘金保; 李勇; 彭元喜;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类 TN47:TN406;
关键词
大规模集成电路; 芯片验证; SVA语言; 派发部件;

相似文献

中文文献
外文文献
专利

1. 派发现金股利有利于保护投资者利益吗?——来自A股和H股上市公司的经验证据 [J] . 程敏 . 经济与管理研究 . 2009,第002期
2. Datacard~ MXD^(TM)邮封派发系统提高卡片派发速度 [J] . . 中国信用卡 . 2007,第09X期
3. X-DSP ALU与移位部件的设计与实现 [J] . 彭元喜 ,邹佳骏 . 计算机应用 . 2010,第007期
4. 安富利电子部件宣布推出Xilinx Virtex-6FPGA DSP开发工具套件 [J] . . 电子与电脑 . 2010,第005期
5. 嵌入式DSP地址产生部件的设计 [J] . 陈海燕 ,蒲伟 ,王勋 . 微电子学与计算机 . 2010,第6期
6. X-DSP指令派发部件的设计与实现 [C] . 彭杰 ,万江华 ,马驰远 . 第十八届计算机工程与工艺年会暨第四届微处理器技术论坛 . 2014
7. 高性能DSP取指和指令派发部件的设计与验证 [A] . 彭杰 . 2015

FT-X DSP派发部件的IFV验证

摘要

著录项

相似文献

相关主题

期刊订阅