首页> 中文期刊> 《微电子学与计算机》 >基于GSTE的验证在UART模块中的应用研究

基于GSTE的验证在UART模块中的应用研究

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

实现基于VIS平台的GSTE验证方法,并将非阻塞性赋值算法引入VIS中,完成了对UART的寄存器传输级模型的FSM的状态转移的验证和对发送的数据是否与输入数据一致的符号化验证.实验表明,该方法能够完成测试用例的全覆盖,说明了该方法在实际例子中所具有的重要意义.

著录项

来源
《微电子学与计算机》 |2013年第9期|22-25|共4页
作者
王志才; 杨国武; 郑德生; 漆美;
展开▼
作者单位

电子科技大学计算机科学与工程学院;

攀枝花学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP311.56;
关键词
形式化验证; GSTE; UART; VIS; 非阻塞性赋值;

相似文献

中文文献
外文文献
专利

1. 基于断言的验证方法在UART模块中的应用研究 [J] . 李洋洋 ,吴武臣 ,王龙伟 . 微电子学与计算机 . 2010,第1期
2. 基于UVM的AHB-UART模块验证 [J] . 王兴耀 ,戴宇杰 . 南开大学学报（自然科学版） . 2020,第005期
3. 基于AMBA总线的UART模块设计与验证 [J] . 余龙 ,肖明 ,王建雄 . 微处理机 . 2013,第002期
4. 基于SV语言的UART模块功能验证 [J] . 刘涵 ,杨兵 ,唐祯安 . 信息通信 . 2012,第001期
5. 基于TMS320VC5402和XBee模块的UART应用研究 [J] . 蒲显城 ,罗飞 . 计算技术与自动化 . 2013,第004期
6. 在中医骨伤临床教学中基于模块化教学模式结合CTTM开发多维实践教学平台的应用研究 [C] . 李晋玉 . 中医药高等教育学会临床教育研究会第十四次学术研讨会暨第九届二次理事会议 . 2015
7. 基于GSTE模型检测的信号并串转换模块功能验证的研究 [A] . 崔晓爽 . 2014

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号