列车通信网络控制器的综合验证

Ming LIU,Guo-yin ZHANG,Ai-hong YAO,Chao-guang MEN

Tiedao Xuebao/Journal of the China Railway Society（2012）

引用 1|浏览17

暂无评分

摘要

列车通信网络对安全性和可靠性提出更高的要求,如何保证网络控制器设计的正确性和可靠性成为确保列车安全运行的关键因素之一.本文以高级验证方法学为指导搭建列车网络控制器的层次化验证环境,提出网络拓扑级验证模型和错误注入机制,并对验证结果进行深入分析.实验结果表明:该验证方法增强验证组件的重用性,弥补传统方法的不足,有效提高了验证效率.

查看译文

关键词

Advanced verification methodology,Assertion,FPGA,Hierarchical verification framework,Train communication network (TCN)

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要