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