期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
基于扩展有限状态机和断言的总线接口协议测试平台 被引量:1
1
作者 史再峰 姚素英 +1 位作者 丁三川 高静 《天津大学学报》 EI CAS CSCD 北大核心 2008年第8期951-956,共6页
在SoC设计流程中,传统的仿真验证方法存在可观察及可控制性较差、自动化水平低等缺陷.为此,提出了一种基于扩展有限状态机(EFSM)和断言的SoC接口协议测试平台,该平台是一种自反馈测试平台,它不仅可以自动产生大量符合协议规范的测试激... 在SoC设计流程中,传统的仿真验证方法存在可观察及可控制性较差、自动化水平低等缺陷.为此,提出了一种基于扩展有限状态机(EFSM)和断言的SoC接口协议测试平台,该平台是一种自反馈测试平台,它不仅可以自动产生大量符合协议规范的测试激励矢量,而且可以通过对断言统计信息的反馈提供多种偏置选择,从而进一步提高验证的自动化水平.将该平台用于对视频后处理芯片中Wishbone总线接口协议的功能验证当中,验证结果表明,该平台可以缩短仿真验证时间大约55%~65%左右,有效地提高了验证的效率和质量. 展开更多
关键词 总线接口协议验证 扩展有限状态机 断言 测试平台
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部