一种基于静态形式验证的I/O复用电路高效验证方法

来源 :电子世界 | 被引量 : 0次 | 上传用户:luohuixian11
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着系统级芯片(System on Chip,SoC)中输入/输出(I/O)接口数量和复用功能的不断增加,I/O复用电路的验证变得越来越复杂,并且需要耗费大量时间。本文针对I/O复用电路的特点,提出一种基于静态形式验证的高效验证方法,在验证早期对I/O复用进行了复用功能验证和连接性验证,同时也进行了翻转覆盖率收集。与传统基于动态验证的方法相比,本方法可以将验证时间缩短一半以上,显著提升了设计质量和开发效率。
其他文献
当今社会经济发展迅猛,城市的建设越来越现代化,新兴建筑拔地而起。在高楼耸立的楼群中却依然存留着老旧小区,它们见证了历史的文化和发展。但这些老旧小区人员分布密集、建
两年以前,关于Bell Atlantic的视频拨号音频实验工作正在进行。在研究这个项目中,注定大多数MPEG服务机构每月处理的材料是有限的几十分钟。如果挤时间多做,编码质量开始变坏
本文基于边缘计算技术理论,针对生产制造的流程工艺设计一套实时数据自控管理的系统方案(简称自控方案)。本方案是应用在边缘计算网关硬件产品上,具备自动通信现场总线数据和
宗教与艺术相互影响、相互渗透。当印度佛教传入中国,接受老庄思想影响后,形成了具有中国特色的佛教——禅宗。禅宗在形式上于五代北宋已经衰落,但其思想却时时刻刻影响着文人士
在移动通信发展的过程中,切换一直是移动性管理的核心。本文总结了低轨星座卫星通信系统切换的特点,针对低轨星座卫星通信系统的需求,对国内外低轨星座的切换技术进行总结与
青海省柴达木盆地北缘锡铁山铅锌矿是我国大型的喷流沉积型(SEDEX)矿床,赋矿围岩主要是大理岩和片岩,浅部主要为大理岩型矿体,深部主要为片岩型矿体。系统描述了不同矿石类型
语文是门基础,从小学到大学里,几乎语文从来一直伴随着 我们,尤其是阅读理解,则是学习语文的最高境界,目前学生出 于中职学校,其语文阅读则是老师教导学生的捷径,学生通过阅
养老保险的流动性不畅是我国深化城市化进程的重要阻碍,解决转续难的问题需要摸清养老保险转移接续发展的制度脉络和现行的壁垒症结。养老保险转续制度的发展可以分为三个阶