IC验证三种不同方法的分析比较

来源 :太原师范学院学报(自然科学版) | 被引量 : 0次 | 上传用户：li63991923

【摘要】

：

IC验证工作位于IC前端设计的开发之后,对软硬件进行前期开发和压力测试.为了尽可能找出更多的bug,从而降低投片的风险,节省时间和其他资源,IC验证的次数能够达到几十亿次.IC

【作者】

：

王立平姚程宽陈向阳光峰卢灿举王伟赵彦

【机构】

：

安庆医药高等专科学校,国防科技大学电子对抗学院,中国电子科技集团公司第三十八研究所,福州瑞星微电子有限公司

【出处】

：

太原师范学院学报(自然科学版)

【发表日期】

：

2019年1期

【关键词】

：

IC验证 RTL模拟器 FPGA原型现代硬件仿真

【基金项目】

：

安徽省教育厅2017年度高等学校省级质量工程精品开放课程项目(2017kfk130);安徽省教育厅2016省级质量工程重点教学研究项目(2016jyxm0632);安庆医药高等专科学校教授工程项目支持

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

IC验证工作位于IC前端设计的开发之后,对软硬件进行前期开发和压力测试.为了尽可能找出更多的bug,从而降低投片的风险,节省时间和其他资源,IC验证的次数能够达到几十亿次.IC验证的方法主要有三种,分别是RTL模拟器、FPGA原型和现代硬件仿真,文章对这三种不同方法进行了深入浅出的介绍,并对这三个方法的性能进行了分析比较,旨在为相关的学习、工作和研究提供借鉴和参考.

其他文献

分次绝对clean模和分次level模

在任意分次环R上引入了分次绝对clean模和分次level模的概念,证明了(gr-FI∞,gr-F∞)和(gr-F∞,gr-FI∞)构成了分次R-模范畴中具有某种特殊性质的对偶对,其中gr-FI∞为由所有

期刊

FP∞型分次模分次绝对clean模分次level模覆盖预包络type FP∞graded modulegraded absolutely clean

无线传感网络拓扑控制若干问题研究

无线传感网络通常具有如下特点:大规模、自组织、传感器节点能量受限、部署环境恶劣等。这些特点决定了必须设计能量有效的协议来减少传感器节点的能耗以延长无线传感网络的

学位

无线传感网络移动传感网络传感器节点拓扑控制功率控制分簇算法移动模型能量有效系统生命期时间复杂度

专业会计硕士(MPAcc)培养模式的探讨——以东华理工大学为例

目前我国许多高校开设了专业会计硕士学位教育(MPAcc),掌握具体的会计实务知识是专业会计硕士的培养目标之一,但是目前高校的培养模式存在一定的问题,致使MPAcc在教育目标和

期刊

专业会计硕士会计实务培养模式

幼小舞蹈课程的衔接理论与方法

舞蹈教育在儿童教育阶段至关重要,它有助于培养儿童的理解能力、想象能力以及创造能力;有助于增强儿童的集体主义精神和竞争观念;有助于提高儿童对于艺术的感知能力和自我表

期刊

幼小衔接幼儿园教育小学教育舞蹈

风场中平流层飞艇高度组合控制方法

回回产卜爹仇贱回——回日E回。”。回祖一回“。回干肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》砧叫]们羽制作:陈恬’＃陈川个美食 Back to yield

会议

平流层飞艇建模高度控制组合控制

四阶变系数泛函微分方程边值问题正解的存在性

运用锥上的不动点定理以及预解算子理论,讨论四阶变系数泛函微分方程边值问题{u（4）（t）＋B（t）u″（t）-A（t）u（t）=f（t,ut）,t∈[0,1],u（t）=（t）,t∈[-τ,0],u（0）=u（1）=u″（0）=u″（1）=0正解的存在性,其中A（t）,B（t）∈C

期刊

四阶泛函微分方程预解算子定理不动点定理forth order functional differential equation operator spec

贵港市气象行政审批窗口工作浅析

通过对贵港市气象行政审批窗口工作的基本情况的分析，找出审批窗口工作中存在的问题．提出行政审批制度改革形势下积极推进气象行政审批窗口工作的几点建议。

期刊

行政审批窗口改革建议

三次西江特大致洪暴雨环流形势特征比较分析

采用1994年、1998年、2005年西江发生特大致洪暴雨期间的NCEP再分析的2.5°×2.5°位势高度、温度、风矢量、地面海平面气压,对1994年、1998年和2005年6月特大致

期刊

天气学西江特大致洪暴雨环流形势特征比较分析

基于文化创意的旅游产品开发设想——以陕西省合阳县为例

期刊

文化创意合阳县旅游产品开发文化创意产业文化创意产品陕西省

平凡扩张代数上的Lie-导子和可交换映射

设f为平凡扩张代数（AM）上的一个线性映射,分别对f是可交换映射以及f是Lie-导子作了新的刻画.

期刊

平凡扩张代数可交换映射导子Lie-导子trival extension algebracommuting mappingderivationLie-de

IC验证三种不同方法的分析比较

其他学术论文