【摘 要】
:
功能验证已经成为当今超大规模专用集成电路和系统级芯片项目开发的瓶颈。传统的定向测试验证方法已经不能满足对高复杂度设计进行完备验证的要求。为提高验证生产率,一系列
论文部分内容阅读
功能验证已经成为当今超大规模专用集成电路和系统级芯片项目开发的瓶颈。传统的定向测试验证方法已经不能满足对高复杂度设计进行完备验证的要求。为提高验证生产率,一系列先进的功能验证方法和验证语言得到了发展。在此基础上,验证方法学为模块和系统级验证提供了完整的解决方案,使验证平台能够具备更高的自动化程度和可复用性,从而提高了验证效率。本文研究了图像处理子系统的功能验证,该系统是课题组开发的多制式视频显示后处理芯片中的核心算法单元,用于在相同帧频下实现多种VESA视频制式之间的转换。本文以VMM验证方法学为指导,为图像处理子系统开发验证计划,确定需要覆盖检查的功能点。在验证平台的设计上,采用VMM验证方法学推荐的分层式验证平台结构,使用SystemVerilog语言自行开发验证组件,完成验证平台的搭建。本文研究的图像处理子系统验证平台能够生成36种VESA视频信号,支持对待测设计的输出时序和图像处理质量进行分析和评估。验证平台集成了约束随机化验证、功能覆盖率驱动验证、事务级验证和断言验证等先进的验证方法,同时,通过使用蓝图模式和回调技术,支持多种测试案例的生成,增强了验证环境的稳定性,提高了验证组件的可复用性。本文还研究和实现了一种动态约束修正技术,使验证过程中功能覆盖率的提升能够受用户控制,提高了验证平台的可控制性。仿真验证实践证明,本文研究的验证平台能够根据用户配置,执行随机验证和定向测试等多种测试案例,具有较高的自动化程度,能够有效提高验证效率。
其他文献
单片开关电源自从20世纪90年代中期问世以来,以具有高集成度、高性-价比、最简外围电路、最佳性能指标等特点,显示出强大的生命力,现已成为国际上开发中、小功率开关电源、精
对财政性教育支出绩效评价的研究,可以发现财政资金利用效率存在的问题,为教育决策者、管理者改革教育和改善管理提供依据。本文对高等教育财政支出进行绩效评价研究,具有一
光纤布喇格光栅(FBG)传感器以其优异的电气绝缘性以及抗电磁干扰、抗腐蚀、灵敏度高、体积小、重量轻等优点,被广泛应用于建筑、电力、医药和化工等多个领域,是目前光纤传感
随着电子工业的迅猛发展,器件集成规模的不断扩大,模拟电路故障诊断越来越受到各方面的重视。虽然模拟电路故障诊断的研究已经经历了四十多年的发展,但能应用于实际的并不多
侵权行为地在确定侵权案件地域管辖以及涉外侵权的法律适用上都具有十分重要的意义,世界上大多国家都将其作为确定司法管辖的重要连接点。而随着人类社会的进步尤其是进入网
CNG汽车在全国各地得到了广泛应用, CNG加气站的也随之得到了快速发展。CNG加气站按照气源来分,有两种类型:子母站和标准站(常规站)。子母站主要建在燃气管网不够发达的城市,
随着光网络的不断发展,人们对光开关的切换速度及可靠性方面的要求越来越高。磁光开关具有快的反应速度、低的插入损耗和固有的非互易性等特点,将在全光网络中起重要的作用。
本文首先给出了粗糙面散射的基本理论,讨论了基尔霍夫近似、微扰法和矩量法等粗糙面散射的基本方法。用指数谱粗糙面和高斯谱粗糙面对比说明了地面模拟时选取指数谱的原因,引
晚唐诗人杜牧诗中“不知亡国恨”的“商女”,成为作者愤慨的对象之一,也成为后人所不齿的群体。通过梳理当时的社会背景和社会制度,以史实为依据,抛却以往对商女先入为主的偏
美国黑人女作家托妮·莫里森于2019年8月6日辞世,享年88岁。1993年,莫里森“以其富有洞察力和诗情画意的小说把美国现实的一个重要方面写活了”而获得诺贝尔文学奖。不过,熟悉莫