用VIS验证微处理器PIC

杜慧敏; 刘建元; 韩俊刚; 高德远

首页> 中文期刊> 《计算机辅助设计与图形学学报》 >用VIS验证微处理器PIC

用VIS验证微处理器PIC

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

近年来,二叉判定图 BDD(Binary Decision Diagram)和符号模型检验在形式化验证数字电路设计中取得了突破性进展.文中介绍了符号模型检验的基本原理和方法,重点介绍如何用VIS系统验证微处理器PIC设计的正确性.利用VIS证明了PIC设计部分电路的等价性,发现了一个设计错误并证明了PIC中一些重要模块的特性.

著录项

来源
《计算机辅助设计与图形学学报》 |2000年第5期|390-395|共6页
作者
杜慧敏; 刘建元; 韩俊刚; 高德远;
展开▼
作者单位

西安邮电学院ASIC中心,西安,710061;

西安邮电学院ASIC中心,西安,710061;

西安邮电学院ASIC中心,西安,710061;

西安邮电学院ASIC中心,西安,710061;

展开▼
原文格式 PDF
正文语种 chi
中图分类自动机理论;
关键词
二叉决策图; 分支时态逻辑; 等价性检验; 符号模型检验;

相似文献

中文文献
外文文献
专利

1. Microchip发布ROM PIC微处理器PIC 16CR [J] . . 电子元器件应用 . 2006,第006期
2. 基于PIC微处理器的14路矩阵板设计 [J] . 周诚 ,修吉平 ,谢怿 . 自动化技术与应用 . 2018,第002期
3. 基于PIC18F微处理器的热式气体流量计设计 [J] . 武亚举 ,修吉平 ,尚合明 . 自动化技术与应用 . 2016,第006期
4. 基于PIC微处理器的智能风淋净化控制系统 [J] . 师公社 . 科技信息 . 2010,第031期
5. 一种基于PIC16F685微处理器的电磁铁控制方法 [J] . 李强 ,胡景泰 ,徐涛 . 低压电器 . 2010,第002期
6. 微处理器流水线内部信号的断言验证 [C] . 焦芳 ,严伟 ,张玥 . 2016年上海市研究生学术论坛——电子科学与技术 . 2016
7. 兼容PIC16F87X的低功耗传感应用微处理器设计研究 [A] . 李佳能 . 2018

用VIS验证微处理器PIC

摘要

著录项

相似文献

相关主题

期刊订阅