论文部分内容阅读
随着计算机网络与嵌入式控制技术的结合,现代轻轨车辆和高速列车车辆中采用列车通信网进行连接。国际电工委员会(IEC)制定的列车通信网络标准IEC61375-1,规定了用于列车通信的多功能车辆总线(MVB)和绞线列车总线(WTB)等内容。在我国高速列车通信网络控制系统的自主研发过程中,功能验证技术对于保证列车通信网络控制器芯片设计的兼容性、稳定性和可靠性起着至关重要的作用。传统的验证方法由于存在验证过程中的可观察性和可控制性不足,验证环境可重用性差,无法快速定位设计缺陷等缺点,已经无法满足现今超大规模集成电路设计的需要。本论文通过对MVBC的综合功能验证,研究了VMM验证方法学,并将断言验证、带约束的随机测试及功能覆盖率等验证技术结合起来,从而提高验证的高效性和完备性。本文首先分析了MVB总线规范和功能定义,提取了MVBC的验证需求及功能点定义,并根据模块级和系统级验证特点,分别确定适合的验证方法。其次,针对传统的定向激励测试工作量大、收敛缓慢的缺点,采用随机激励与定向激励相结合的方法,并通过对随机激励施加约束,提高对边角情况(corner case)和未覆盖区域覆盖的测试命中率。然后,研究了基于断言的验证技术,通过在设计接口单元和内部逻辑单元添加断言检查器,可以发现并快速定位设计缺陷。覆盖率是衡量验证进度和设计可信度的主要指标,本文分析了功能覆盖率的分类和建模,根据覆盖率统计结果修改随机约束向量,加速验证收敛过程。基于VMM验证方法学,本文提出了一个结合多种验证技术的,高可重用、高自动化的动态功能验证平台,完成了MVBC的模块级和系统级验证工作,给出了缺陷统计报告和覆盖率分析报告。