基于扩展有限状态机和断言的总线接口协议测试平台

作     者：史再峰 姚素英 丁三川 高静 SHI Zai-feng;YAO Su-ying;DING San-chuan;GAO Jing

作者机构：天津大学电子信息工程学院天津300072 

基　　金：国家自然科学基金资助项目(60576025) 天津市科技发展计划重点资助项目(08ZCGYGX00400) 

出 版 物：《天津大学学报》 (Journal of Tianjin University(Science and Technology))

年 卷 期：2008年第41卷第8期

页      码：951-956页

摘      要：在SoC设计流程中,传统的仿真验证方法存在可观察及可控制性较差、自动化水平低等缺陷.为此,提出了一种基于扩展有限状态机(EFSM)和断言的SoC接口协议测试平台,该平台是一种自反馈测试平台,它不仅可以自动产生大量符合协议规范的测试激励矢量,而且可以通过对断言统计信息的反馈提供多种偏置选择,从而进一步提高验证的自动化水平.将该平台用于对视频后处理芯片中Wishbone总线接口协议的功能验证当中,验证结果表明,该平台可以缩短仿真验证时间大约55%～65%左右,有效地提高了验证的效率和质量.

主 题 词：总线接口协议验证 扩展有限状态机 断言 测试平台 

学科分类：080903[080903] 0809[工学-计算机类] 08[工学] 

核心收录：

D　O　I：10.3969/j.issn.0493-2137.2008.08.011

馆 藏 号：203135699...