基于UVM的CAN总线控制器的验证方法研究

来源 :西安电子科技大学 | 被引量 : 0次 | 上传用户:wwt74105
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着SoC的设计复杂程度不断增加,芯片从设计到投入市场需要的时间越来越长,而市场则需要芯片尽快的投入市场,二者之间的矛盾日益加剧,在如今,芯片的功能验证已经成为集成电路设计面临的严峻挑战,使用传统的验证方法,由于无法遍历到所有可能性情况,会存在一些无法预知的漏洞。针对此问题,以SystemVerilog为基础的UVM验证平台作为一种新兴的验证方案,具有能够产生随机受约束的激励、自动收集覆盖率、分析验证结果和可重用性强等功能,相比传统的验证方案,有着明显的随机性验证和效率的提升,能够有效的查找设计问题,缩短芯片生产周期。本文以CAN总线控制器验证为研究背景,基于UVM验证方法学,采用SystemVerilog语言完成了研究对象的验证工作。本文具体研究成果如下:完成了CAN总线控制器待测电路的验证点的分解,待测电路包含标准模式和扩展模式两个工作状态,基于直接验证思维,根据其总线架构、寄存器参数配置、工作原理和报文传输的流程,在基于CAN2.0协议的基础之上完成验证点的分解。本文依据两种不同的模式情况,将验证点主要分解为发送接收状态、发送接收中断、数据溢出、仲裁捕获、错误检测、寄存器复位值及读写验证、采样多次以及状态验证等功能。完成待测电路的UVM验证平台开发,基于验证点的分解,首先对UVM验证平台进行了架构设计,主要包括监控器monitor、驱动driver、计分板scoreboard、参考模型referencemodel等组件的设计与具体实现方案,同时应用了sequence机制、phases机制、factory机制诸多关键机制,确保UVM验证平台的可重用性,最后据此搭建了具有随机约束激励和功能覆盖率收集的UVM验证平台,基于已分解而成的验证功能点编写测试用例,通过测试用例启动平台进行仿真,完成CAN总线控制器的模块级验证,使得待验证的设计功能运行正常并且符合设计规范。对验证过程进行了验证完备性的分析,其中包括功能覆盖率的收集和代码覆盖率的收集以及缺陷率的追踪。本文通过覆盖组(covergroup)的设计进行功能覆盖率的信息收集工作,通过仿真软件实现代码覆盖率的收集工作。其中,功能覆盖率达到100%,总体代码覆盖率达到95.41%(块覆盖率94.38%,表达式覆盖率94.54%,状态机覆盖率98.24%),两个覆盖率均达到规定的验证指标要求,达到了验证的目的和价值。本文缺陷率的追踪主要通过统计工具完成了缺陷率曲线的分析工作以及缺陷种类的分析工作。分析结果显示,本项目缺陷率曲线呈下降的收敛状态,所发现的缺陷种类呈基本缺陷到高级缺陷的转化趋势,达到了验证的质量要求。本文根据UVM验证方法学的结构和特性完成了CAN总线控制器验证平台的搭建,同时使用定向测试和随机测试对模块进行验证,通过NCSim等软件仿真并分析log文件及电路仿真波形图,高效率的完成了DUT电路的验证,总体上使得芯片的验证效率更高,整体缩短的芯片开发周期。
其他文献
为实现长距离煤层气管线外界入侵振动检测,采用基于相位敏感型光时域反射原理(Φ-OTDR)的分布式光纤振动传感系统,融合FPGA与USB2.0技术开展传感数据的实时采集与高速传输,并
分析了小说《朗读者》对揭露二战时期法西斯罪行,以及对历史和罪责反思的价值意义,认为其传承了德国反思文学的总体特点,小说对女主人公汉娜的形象塑造一定程度上突破了德国
<正>一、循环经济促进法自实施以来成效明显全国人大常委会于2008年8月审议通过循环经济促进法,标志着我国发展循环经济步入法制化轨道。我国也成为继德国、日本后世界上第三
以苯泄漏的大气影响为研究对象,模拟一起典型的突发性环境风险事故。依据《建设项目环境风险评价技术导则》,采用导则推荐的伯努利方程、质量蒸发量公式计算物质泄漏的源强,
通过对国内外相关领域的现状研究,了解当前高校学生常见伤害事故的类型,分析灾害教育在高校体育教学应用的可行性,研究以体育课为载体,以理论教学、实践练习、现场演习为课堂
畜牧业作为支撑我国农业经济的一大支柱,对提高人民生活质量,促进农业经济发展,具有重大意义。自上个世纪80年代美国成功在植物基因组上实现稳定基因编辑以来,转基因技术取得
目的探讨Hedgehog通路中PTCH1蛋白在人胃癌组织中的表达及其与胃癌发生的关系。方法应用免疫组化法检测PTCH1蛋白在40例胃癌及癌旁组织中的表达情况以及分布规律,分析PTCH1蛋
作为大学生必修的思想政治理论课之一,《形势与政策》课(以下简称“形策”课)以其综合性时效性,是对大学生进行国家政策宣讲的重要阵地和渠道。充分运用好“形策”课教学,利
本文以酚醛树脂为炭前驱体、端羧基聚二丁烯橡胶(CTPB)或端羧基丁腈橡胶(CTBN)为热不稳定性链段、酚醛环氧树脂(EPN)或环氧树脂(CYD)为中间链段,分别构筑三元共聚物(体),再将此共聚体进行