多功能车辆总线制器mvbc综合验证研究.pdfVIP

多功能下辆总线控制器MVBC综合验证研究 置iiiiiiiiiiiiiiiiiiiiia iiiiiiiiiii 摘 要 随着计算机网络与嵌入式控制技术的结合，现代轻轨车辆和高速列车车辆中采用列 了用于列车通信的多功能车辆总线(MVB)$n绞线列车总线(WTB)等内容。在我国高速列 车通信网络控制系统的自主研发过程中，功能验证技术对于保证列车通信网络控制器芯 片设计的兼容性、稳定性和可靠性起着至关重要的作用。传统的验证方法由于存在验证 过程中的可观察性和可控制性不足，验证环境可重用性差，无法快速定位设计缺陷等缺 点，已经无法满足现今超大规模集成电路设计的需要。本论文通过对MVBC的综合功 能验证，研究了VMM验证方法学，并将断言验证、带约束的随机测试及功能覆盖率等 验证技术结合起来，从而提高验证的高效性和完备性。 本文首先分析了MVB总线规范和功能定义，提取了MVBC的验证需求及功能点定 义，并根据模块级和系统级验证特点，分别确定适合的验证方法。其次，针对传统的定 向激励测试工作量大、收敛缓慢的缺点，采用随机激励与定向激励相结合的方法，并通 过对随机激励施加约束，提高对边角情况(comercase)和未覆盖区域覆盖的测试命中率。 然后，研究了基于断言的验证技术，通过在设计接口单元和内部逻辑单元添加断言检查 器，可以发现并快速定位设计缺陷。覆盖率是衡量验证进度和设计可信度的主要指标， 本文分析了功能覆盖率的分类和建模，根据覆盖率统计结果修改随机约束向量，加速验 证收敛过程。基于VMM验证方法学，本文提出了一个结合多种验证技术的，高可重用、 高自动化的动态功能验证平台，完成了MVBC的模块级和系统级验证工作，给出了缺 陷统计报告和覆盖率分析报告。 关键词：多功能车辆总线；功能验证；验证方法学；断言；覆盖率 多功能车辆总线控制器MVBC综合验证研究 Abstract With of networksandembeddedcontrol thecombination computer systems technology, modernrailvehiclesand trains thetraincommunicationnetworkis to light high—speed applied the toconnectvehicle．TheInternationalElectrotechnical drawn up Commission(IEC)has standardsnamedIEC61375-1that thecontentsabout traincommunicationnetwork specify MultifunctionalVehicle WireTrain the ofour Bus(MVB)andBus(WTB)，etc．Inprocess on traincommunicationnetworkcontrol self-research system，the country high-speed functionalverification a