总线接口协议验证相关硕士博士期刊学术论文 - 搜论网

总线接口协议验证相关论文

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

在SoC设计流程中，传统的仿真验证方法存在可观察及可控制性较差、自动化水平低等缺陷．为此，提出了一种基于扩展有限状态机（EFSM）和断言......

期刊

总线接口协议验证扩展有限状态机断言测试平台 bus interface protocol verification extended finite st

看过本文同时还关注