期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于GSTE的验证在UART模块中的应用研究
1
作者 王志才 杨国武 +1 位作者 郑德生 漆美 《微电子学与计算机》 CSCD 北大核心 2013年第9期22-25,共4页
实现基于VIS平台的GSTE验证方法,并将非阻塞性赋值算法引入VIS中,完成了对UART的寄存器传输级模型的FSM的状态转移的验证和对发送的数据是否与输入数据一致的符号化验证.实验表明,该方法能够完成测试用例的全覆盖,说明了该方法在实际例... 实现基于VIS平台的GSTE验证方法,并将非阻塞性赋值算法引入VIS中,完成了对UART的寄存器传输级模型的FSM的状态转移的验证和对发送的数据是否与输入数据一致的符号化验证.实验表明,该方法能够完成测试用例的全覆盖,说明了该方法在实际例子中所具有的重要意义. 展开更多
关键词 形式化验证 GSTE UART VIS 非阻塞性赋值
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部