【摘 要】
:
现代集成电路(Integrated Circuits,IC)设计中,芯片的规模和复杂程度正呈指数增加,为了保证所设计芯片功能的正确性,需要比以往更多的时间和人力,困难度大幅增加。而且目前功能验
论文部分内容阅读
现代集成电路(Integrated Circuits,IC)设计中,芯片的规模和复杂程度正呈指数增加,为了保证所设计芯片功能的正确性,需要比以往更多的时间和人力,困难度大幅增加。而且目前功能验证能力已经远远落后于设计能力,功能验证正成为大规模芯片设计的瓶颈。近年来,验证方法的改进主要体现在产生了一些新的特别的验证方法,比如基于断言的验证、功能覆盖率、可约束的随机激励等等;而现在验证方法改进的趋势渐渐转移到如何形成更加系统化和结构化的验证过程。覆盖率导向的验证方法是一种新型的验证方法学,它可以极大的提高验证的效率,符合验证方法学的发展规律,并且已经在工业界有许多实际的应用,是实践证明的先进的方法。现在各个EDA厂商也非常重视对覆盖率导向的验证方法的支持,所以这种方法必然会在一段时间后成为IC工业设计当中主流的验证方法之一。本文对覆盖率导向的验证方法进行了细致的研究,对覆盖率导向的验证方法的整个验证环境及其各个要素的特点进行了总结,并着重于覆盖率导向的验证环境的建立方法的研究。论文从testbench的结构、功能覆盖率模型的建立、验证环境中激励的产生和响应的检查等几个方面,论述了覆盖率导向的验证方法与其他验证方法的区别,并介绍在建立覆盖率导向的验证环境的过程中的一些细节。论文中还介绍了一些新的验证方法,如断言验证,及它们在覆盖率导向验证中的应用。作者针对64位CPU设计,应用硬件验证语言建立了覆盖率导向的验证环境,把理论应用于实践,最后通过实验,对覆盖率导向的验证方法和其他验证方法进行了比较。
其他文献
<正>新课标明确指出:"学生是学习和发展的主体。"这就给我们指明了方向,我们要从以前的那种旧观念"让学生学会什么"转变成"学生会学什么"。这就要充分调动学生学习的主观能动
探索在共生理论框架下历史城镇改造的基本思路,提出历史城镇改造的三部曲:共生系统研究→共生阻尼分析→共生方案确立.以武夷山兴田镇为例,研究城与自然的共生、异质文化要素
现代公共部门人力资源管理是一种将工作人员作为一种主动的资源进行管理,通过放松规制、开发心智等措施,激发公务员的工作主动性和创造性,以实现提高个体智能,增强组织适应外
本文对一种高频、高效的电流控制模式DC-DC单片开关电源进行建模与设计。采用0.35um CMOS工艺制程,有效输入范围为2.6V~9V,输出电压在6V~13V范围内可调。芯片内置1.2MHz振荡器,
随着电子工业的飞速发展,电子器件的集成度越来越高。高性能、大功率、小型化的电子产品在市场中的需求越来越大,功率更大尺寸更小的平面阵列封装使元件单位面积的发热量急剧
氢溴酸加兰他敏(Galanthamine Hydrobromide)系一种竞争性和可逆性的乙酰胆碱酯酶抑制药,临床上主要用于治疗脊髓灰质炎、重症肌无力、术后肠肌麻痹、青光眼和阿尔茨海默氏病,也
炎热夏季番茄嫁接苗伤口不易愈合,成活率较低。本文介绍了在夏季高温期嫁接番茄时,降低大棚内温度的4种方法,以保证番茄周年生产供应。
城建项目建设当中,造价预算的作用十分重要,是施工投资的重要依据和工程造价管理的重要内容。但因受人为、市场等因素的影响,使得先期造价预算常常难以完全预见项目实施当中
近些年来,移动终端核心芯片的研究成为业界关注的焦点。射频集成电路(RFIC)是无线通信领域中不可缺少的关键电路,是无线通信的主要瓶颈。为了满足产品化后高可靠性和低成本的
泥鳅鱼种培育成活率低,规格小、产量低、为解决大规模推广对鳅种的需求,江苏省徐州市水产站开展鳅种培育技术研究,取得一定的进展,现将泥鳅苗种培育技术介绍给大家。泥鳅又名