【摘 要】
：
随着集成电路设计复杂性的日益增加,功能验证已成为整个设计流程的瓶颈.传统的模拟验证方法需要大量的时间,而且不能获得完全的覆盖率;形式验证方法是模拟方法的重要补充,它
论文部分内容阅读
随着集成电路设计复杂性的日益增加,功能验证已成为整个设计流程的瓶颈.传统的模拟验证方法需要大量的时间,而且不能获得完全的覆盖率;形式验证方法是模拟方法的重要补充,它无需产生测试激励,不仅能够缩短设计周期,而且能够达到完全的功能覆盖率.本文介绍了目前应用最广泛的一种形式验证方法——等价性检验在一款通用CPU设计验证中的应用,包括RTL设计与门级网表、门级网表与门级网表、RTL设计与RTL设计之间的功能等价性验证.文章着重讨论了快速完成验证任务的方案,以及验证过程中一些常见问题的解决办法.
其他文献
本文通过对一些林业观光园的调查和对浏阳市森林生态观光园的参与规划和建设,总结一些发展林业观光园的想法.
本文从硬件描述语言(Hardware Description Language,HDL)和软件程序语言的相似性出发,给出一个寄存器传输级测试生成方法.首先为Verilog描述的电路建立对应的内部层次模型;
故障注入作为一种加速容错计算机系统失效的手段,能够测试和评估容错系统的容错性能.容错服务器具有处理性能高的特点,可以采用软件故障注入方式.本文介绍了两种软件故障注入
插件(Plug-in,又称Addin、Add-in、Addon或Add-on,又译外挂)是一种遵循一定规范的应用程序接口编写出来的程序,分层(Tiered)就是将数据存储在不同层级的介质中,并在不同的介
软件内建自测试是一种新型的软件测试方法,它包括模板和测试数据生成两部分.本文研究了其中的测试数据生成方法,首先在系统的模板中得到需要测试的程序块信息,然后通过一系列
目前市面上802.11ac规格的无线局域网设备并不多见,华硕RT-AC66U以及EA-N66网卡是较早形成配套销售的产品。产品信息价格RT-AC66U+EA-N662550元厂商华硕电话4006006655网址ww
软件测试是软件工程领域中重要组成部分.随着软件规模的不断扩大,测试工作的复杂性也不断升高,而改善、提高软件可测试性则是降低测试复杂性的有效手段.为达到这一目标,首先
Case Report An female infant patient, aged 8 months old, suffered from irregular colporrhagia for a period of 1 month after which she was taken to our hospital
结构测试用例的生成是结构测试中一项非常重要的工作.在软件测试过程中,人为地选择测试用例带有很大的盲目性和倾向性,同时基于软件开发的经济性考虑,测试用例的自动生成技术
期刊作为图书馆的主要信息情报来源，有着不可替代的重要性，本文以需求为出发点，从期刊资源的合理构建，完善检索等方面论述了提高期刊利用率的方法。