【摘 要】
：
由于RISC具有流水线结构和指令多样性的特点,传统的Co-Verification方法使RISC验证工作复杂而艰巨.在用PERL语言编写产生的随机测试机器码的基础上,利用Accellera组织提出的P
【机 构】
：
厦门大学电子工程系,厦门大学信息科学与技术学院
论文部分内容阅读
由于RISC具有流水线结构和指令多样性的特点,传统的Co-Verification方法使RISC验证工作复杂而艰巨.在用PERL语言编写产生的随机测试机器码的基础上,利用Accellera组织提出的PSL/Sugar语言,结合Cadence公司的ABV验证工具,探讨了一种新颖的RTL级RISC模块的ABV验证模式.实验证明,该方法简单、快捷、可靠,能保证验证功能覆盖率达到100%,可以节省大量验证工作量,缩短SOC的开发周期,为加快芯片从设计到产品化的过程增加了一道安全的技术保障.
其他文献
随着社会事业与经济事业的高速发展,社会资源的基础设施建设日益完善,图书馆作为其中的重要部分,怎样有效提升服务效能是现阶段必须重视和探究的课题。本文以图书馆提升服务
铁路运输发展较为迅速，为了满足高速、重载、安全运输，需要充分加强线路运输维修作业水平的优化。现代铁路运输普遍分为货运和客运两大方面，国内铁路线路运输整体设备维护技术还
Eptifibatide是一种血小板糖蛋白GPⅡb／Ⅲa受体拮抗剂。临床研究结果显示其医用上的产业前景良好．采用Rink-Am-Resin树脂作为固相载体，Fmoc为保护策略固相合成了Eptifibatide．以D
张创伟在《比较教育研究》2014年第7期中撰文,梳理了欧洲资格框架的沿革,解读了欧洲资格框架的资格认定,探究了欧洲资格框架的质量保障,并对欧洲资格框架的理论进行了评述。2
为满足非球面光学元件表面精度的测量要求,设计和实现了一种高效数控非球面测量系统.系统基于运动控制技术,构建了四轴联动的测量工作平台.根据数据采集原理,实现对非球面工
给出了存在惟一的次对称(persymmetric)矩阵．使给定的两个数和两个不同维的向量成为它和它的主子阵的特征对的充分必要条件，并给出了惟一解的表达式和两个数值例子．
详细介绍了基于电话语音卡的语音邮件网关(Telephone Voice Email Gateway,TVEG)的设计及实现,阐述了电话语音邮件网关的硬件平台和软件结构;软件系统采用了Microsoft的Visua
祈雨这一民间习俗的文化内涵在中国不断延续，形成各具特色的祈雨风俗。本研究主要通过对仪式化的符号和象征行为的解读，探究晚清陕西关中地区祈雨风俗所表现出的丰富的文化内涵
<正>一、跨流域调水的必要性地球上的水,尽管数量巨大,能直接被人们生产和生活利用的却很少。首先,海水又咸又苦,不能饮用,不能浇地,也难以用于工业。其次,地球的淡水资源仅
东兰县位于广西壮族自治区的西北部（如图1），因保存下来的铜鼓众多，铜鼓文化历史悠久被誉为“铜鼓之乡”。铜鼓是我国南方古代少数民族创造的富有地方特色的历史文物。据史料记载，