基于SoC的PCL设计和形式验证

来源 :西安电子科技大学 | 被引量 : 0次 | 上传用户:zjlyqgf888
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
现代片上系统集成电路芯片的集成度越来越高,芯片的引脚数目也越来越多,有限的芯片引脚需要合理而充分的利用。此外,由于集成电路引脚越来越密集,电路和系统的可测试性急剧下降,边界扫描测试技术在不影响模块正常工作的情况下,极大地提高了芯片的可测试性。本文中设计和实现的端口控制逻辑模块为解决芯片引脚复用和提高芯片的可测试性提供了解决方案。设计的验证过程也是本文的另外一个重点。形式验证由于不需要搭建测试平台、也不需要编写测试例,可以节约验证成本,极大地加速了SoC芯片的验证过程。本论文基于OneSpin工具平台,根据特征检查的形式验证方法,对设计的端口控制逻辑模块进行了验证,经过验证设计模块的功能都达到了设计需求。
其他文献
有效教学是教学活动所追求的最高境界。如何提高小学语文课堂教学的效率是语文教育工作者不可回避的问题。从教学主体、教学准备、教学过程及教学反思方面实施小学语文课堂教
加强执政党建设,是一个执政党存在和发展的前提,是党的生命力所在。党的建设是中国共产党的一大法宝。建国头七年,在马克思主义执政党建设理论的指引下,以毛泽东为核心的中国
从出生到三岁的儿童,经历了乳牙开始萌出到乳牙萌出完全的过程,而龋齿可以发生在乳牙萌出后不久。乳牙的发育从胚胎时期就已经开始,出生后6个月左右乳牙开始萌出,3岁左右萌出
硫系非晶态半导体作为一种长波长非线性光学介质被用来制备红外透镜、红外生化传感器、CO2激光传输光纤、高速光开关、功率限制器、光克尔效应斩波器和光学非线性环镜等。硫
本研究采用IRT_△b方法对2015年F省小学英语测试试题进行性别DIF检测,以了解该年度小学英语测试的公平性情况。检测结果表明:共有10道题目存在性别DIF,其中6题有利于男生,4题
目的探讨经腹和经阴道彩色多普勒超声对子宫瘢痕处早期妊娠的诊断价值。方法选取我院诊断为瘢痕子宫妊娠患者40例作为研究对象,所有患者均存在剖宫产史,存在阴道淋漓出血症状
光纤Bragg光栅(Fiber Bragg Grating,FBG)自问世以来就以其自身的抗电磁干扰、灵敏度高、抗腐蚀等优点而受到广泛的关注,并且它的波长编码特性以及对温度和应变的线性响应都使得
中国加入WTO后 ,润滑油市场面临新的竞争形势。在分析润滑油行业及润滑油市场特点的基础上 ,说明润滑油消费的特点并提出相应的营销策略。根据国外大石油公司的发展战略 ,提
中国现当代女作家萧红在其代表作《呼兰河传》中用细腻的笔触描绘了东北小镇呼兰河的风土人情。其中包括了众多东北的满汉民俗描写,而具有地域性和独特性的民俗是一国民众生
勃列日涅夫执政时期苏联与古巴建立了事实同盟关系,这对拉丁美洲地区和关苏争霸关系产生了很大影响.文章在分析苏古关系三个阶段的基础上,得出如下结论:冷战期间,古巴积极的对