【摘 要】
:
全面快速的设计验证是芯片设计成功的关键所在,当前业界在验证方面关注的焦点是功能验证。但是随着芯片的功能越来越多,结构越来越复杂,导致验证的工作量大大增加,当人们用传
论文部分内容阅读
全面快速的设计验证是芯片设计成功的关键所在,当前业界在验证方面关注的焦点是功能验证。但是随着芯片的功能越来越多,结构越来越复杂,导致验证的工作量大大增加,当人们用传统的验证工具和方法难以按时完成验证工作时,就出现了所谓“验证危机”。 为了适应这种形势,芯片验证的工具和方法正在发生迅速而深刻的变革。现在基于RTL(Register Transmit Level)语言的验证方法正在向基于系统级语言的验证方法过渡,导致了高级验证语言的出现和标准化,基于高级验证语言的验证方法学逐渐成为解决众多验证问题的一条有希望的途径。 本论文的工作重点就是通过研究基于高级验证语言的验证方法学,提出一种基于高级验证语言并综合利用直接测试、约束随机测试、面向对象编程、层次化设计、覆盖驱动验证和基于断言的形式化属性检查验证等多种验证技术的事务级验证方法,针对该验证方法的特点选择了IEEE标准语言SystemVerilog语言作为实现该方法学的载体。 论文重点分析了验证平台及其层次的功能和设计方法,并将各个层次组合成完整的验证环境,分析了基于分层思想的验证平台的设计方法,包括验证平台中所含的验证组件的工作原理。基于分层思想的验证环境具有通用性,可根据被测对象的不同加以改动以实现重用的目的。随后通过验证实验和工程实践具体分析该验证平台的优缺点。 论文基于这种验证方法设计液晶显示屏控制器(Liquid-Crystal Display Controller,LCDC)通用验证平台,使动态仿真较传统验证方法更高效的执行验证工作,缓解验证压力,尤其是实现目前基于传统的Verilog语言的验证方法不易实现的高效率、可重用性、可观测性、可维护性与通用性。
其他文献
人脸检测技术经过30多年的发展,在算法上已经取得了许多成果。伴随着算法的进步和人脸检测应用范围的扩大,面向各种应用的人脸检测系统架构也随之出现。然而纵观这些系统架构
流感可感染包括人、鸟类、马、犬类、猪等动物在内的多种动物,造成严重的公共卫生和经济问题。实现对其方便、快速、灵敏的检测对禽流感的监测和防控具有重要意义。目前,禽流感
图像作为多媒体信息传播的主要载体,其重要性是勿庸置疑的。而图像处理的基础就是图像压缩,由此可见图像压缩的重要性。在图像压缩领域,JPEG标准的应用最为广泛,至今推出已经
自组装膜(SAMs)生物传感微阵列(微阵列)是以性能卓越的SAMs作为生物识别敏感膜的生物微传感器、是生化领域与微电子领域的重要结合,是本世纪的热点研究方向。本选题针对1×4
视频监控系统在我国有非常广泛的应用,视频监控系统数字控制模块是一个重要的研究领域,本文针对基于CAN总线的数字控制系统的关键技术进行专题研究。(1)给出了一种由89C51单
微热板(MHP)式气体传感器具有低功耗、体积小、可集成等优点,得到了广泛的研究。温度是影响气体传感器灵敏度的重要因素;残余应力及热应力,对微热板式气体传感器的可靠性至关
2013年9月15日,由无锡市委宣传部、无锡市委统战部、致公党无锡市委、无锡市文广新局、无锡市文化艺术管理中心、无锡市文联联合主办,《民主与法制》社、北京匡时国际拍卖有
立地条件和树龄是影响黄土高原“小老树”形成的主要因素。为此,本文以形成黄土高原“小老树”的两个典型树种刺槐和小叶杨为对象,研究了不同立地条件(水分好的沟谷台地和水分相
开关稳压电源具有集成度高、集成度高、应用电路简单、电源效率高等优点,在各种电子产品中得到广泛的应用,开关电源正朝着小、轻、薄的方向发展。 本文全面分析了DC/DC开关
OsSGL是本课题组通过基因芯片技术从水稻中筛选到的一个受多种逆境诱导表达的基因。该基因编码一个含255个氨基酸残基、具有DUF1645保守结构域的未知功能蛋白。前期研究表明