SoC中心控制系统的智能化验证平台的设计

来源 :西安电子科技大学 | 被引量 : 0次 | 上传用户:glggg
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着SoC的设计规模越来越大,功能需求越来越复杂,市场迭代速度越来越快。SoC芯片设计公司逐步转向IP集成化的设计模式,通过大量购买成熟的功能IP,从而将工作重心转移到系统架构和控制单元的设计上,进而加速芯片的开发过程。控制单元控制着各个功能IP子系统的时钟,复位,电源等关键状态,负责协调各个IP在系统级的交互。整个SoC对控制信号时序的精确性以及逻辑的正确性都有着很高的要求。随着IP集成的数量逐渐变多,IP的功能越来越丰富,控制单元控制信号的数量,需要调控的内容也变得越来越多,结构也越来越复杂。针对结构复杂,功能又非常关键的中心控制系统进行充分完备的验证对于保证整个芯片正常工作至关重要。本文针对这种中心控制逻辑,基于主流的UVM验证方法学,完成了UVM测试组件的搭建,测试用例结构的制定,逻辑检查单元的建立和功能覆盖率的收集等。设计了一套智能化的交互机制用来模拟中心控制系统与受控子系统之间的交互行为,使测试场景能最大程度地贴近芯片实际的运行情况。在SoC运行的过程中,各功能子系统会在不同的电压域和时钟域之间动态切换,运行的时钟频率以及电源电压都不固定。本文基于多域验证技术将所有域的信息都提取出来并与设计保持一致,全面地验证了所有域的交互情况。同时对于这些域的控制信号例如电源控制信号,时钟门控信号以及复位使能信号也根据不同域的交互情况进行动态地调整,从而尽可能地构造完备的测试场景。为了保证验证工作的质量,本文采用了包含代码覆盖率,功能覆盖率,断言覆盖率等综合指标来评估验证工作,确保了验证工作的完备性。为了提高验证工作的效率,本文提出了一种自动化的功能覆盖率反馈系统,使得测试用例可以根据功能覆盖率的结果自动调整约束,快速覆盖那些尚未通过现有测试场景验证的功能点。另外本文还制定了一种测试用例的模板,可以基于用户的约束,自动生成定向的测试激励。自动化的引入缩短了验证周期并一定程度上避免了一些人为引入的非逻辑性错误。基于这两种自动化的机制,结合UVM验证方法学,以及制定的验证完备性评估指标,本文构建了一个完整的智能化验证平台,给出了一套完善的控制系统的验证解决方案。最后通过结合验证过程中的覆盖率曲线,漏洞的收敛程度等指标完成了对本验证平台验证效率和验证质量的评估。可以证明本文所设计的验证平台能够较快的覆盖验证计划中所有定义的功能点,并且在较短时间内发现待测系统中存在的设计漏洞。
其他文献
郭沫若是现代中国古文字学研究的一代宗师,他一生写下了大量古文字学著作。该书是郭老生前编纂的一部古文字学工具书。全书收录甲骨文、金文、古玺印文 Guo Moruo, a genera
期刊
文章叙述私募证券投资基金的定义、产品种类和投资策略等,选取基金的累计净值增长率作为被解释变量,股票多头策略、股票市场中性策略和股票多空策略作为解释变量,私募基金的
目的探讨腹腔镜左半结肠切除术中结肠结肠侧侧吻合(Overlap)的临床应用价值。方法2014年5月~2017年10月,按患者及家属意愿将53例腹腔镜下左半结肠根治术分为腔内吻合组(19例)
目的观察乌司他丁对老年患者胸腔镜辅助肺叶切除术后认知功能障碍(POCD)的影响。方法拟行胸腔镜辅助肺叶切除术的老年患者60例,随机分为观察组和对照组,每组30例,观察组在麻醉
伴随着新中国的成立、改革开放等国家政治举措的实现,社会开始飞速的运转发展,建筑工程的建设与管理变得越来越受到重视,同时也进一步使得建筑行业的市场竞争变得剧烈。一个
针对多序列跳频(multi-sequence frequency hopping,MSFH)通信系统在对偶信道存在干扰信号的情况下易引发误码的问题,提出了结合伪随机特征码的MSFH(pseudo-random feature c
本文分析了云服务和手机客户端APP的需求,设计了具有教育教学个性化特点的移动学习客户端系统.
<正> 十年回顾 电子测量仪器电磁兼容性(EMC)试验规范的制定到发布实施,已跨越了十个年头,它对我国电子仪器EMC的工作发展起了很大推动作用。 EMC是实践性非常强的一门应用技
历年的高考试题中,函数、导数、三角函数、数列、立体几何、解析几何、平面向量、不等式等高中数学主干知识重点考查和反复考查,成为高考的热点,但与之相对应的,诸如基本算法语句
习近平总书记提出“节水优先、空间均衡、系统治理、两手发力”新时代治水方针和“以水定城、以水定地、以水定人、以水定产”的城市发展原则以来,北京市发布了《北京市人民政
期刊