桂林电子科技大学学报2009，Vol.29Issue(2)：96-100,5.
Avalon片上总线协议的形式化建模与模型检验分析
Formal Modeling and Model Checking Analysis of the Avalon System-on-Chip Bus Protocol
摘要
关键词
片上总线/Avalon总线协议/有限状态机/计算树逻辑/模型检验分类
信息技术与安全科学引用本文复制引用
谭华,古天龙..Avalon片上总线协议的形式化建模与模型检验分析[J].桂林电子科技大学学报,2009,29(2):96-100,5.基金项目
广西自然科学基金(桂科自0832006Z) （桂科自0832006Z）
