2. 您的位置
3. 首页
4. 期刊论文
5. 数字电路设计中的符号模型检验技术

数字电路设计中的符号模型检验技术

来源 :微电子学与计算机 | 被引量 : 0次 | 上传用户：longxue1211

【摘 要】

：

符号模型检验把有序二叉判定图OBDD技术引入到模型检验中,有效地缓解了状态组合爆炸问题.文章主要介绍了CTL模型检验基本概念和原理,给出了符号模型检验算法,验证了模4计数器

【作 者】

：

刘建元 

【机 构】

：

西安邮电学院

【出 处】

：

微电子学与计算机

【发表日期】

：

2002年10期

【关键词】

：

数字电路设计 有序二叉判定图 分支时态逻辑 模型检验 符号模型检验 OBDD Ordered binary decision diagram  Computat 

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

符号模型检验把有序二叉判定图OBDD技术引入到模型检验中,有效地缓解了状态组合爆炸问题.文章主要介绍了CTL模型检验基本概念和原理,给出了符号模型检验算法,验证了模4计数器的某些特性.

其他文献

层次式网络拓扑显示方法的设计与Web实现

随着Internet的不断发展,集成化的计算机网络管理越来越重要,以图形方式显示网络拓扑是网络管理的基本功能和要求.文章介绍了863项目<计算机网络管理与安全系统>中的配置管理

期刊

层次式网络拓扑显示设计Web计算机网络网络管理Topology displayB/S modeJava

基于射频收发芯片nRF401的计算机接口电路设计

文章介绍了采用单片射频收发芯片nRF401和MAX232A接口芯片构成的计算机无线接口电路,工作频率433MHz,发射功率+10dBm,接收灵敏度-105dBm,数据速率20kbit/s.

期刊

射频收发芯片NRF401计算机接口电路设计Wireless data transmissionSerial interfaceRF transce

温州高校创业教育思路探讨

本文通过对温州高校在校大学生的创业教育与创业现实状况的调查，研究温州高校在校大学生创业面临的问题，提出新的创业教育思路．

期刊

温州高校大学生创业创业教育

光纤熔融拉锥系统及其应用

文章简要介绍了OC2010型熔融拉锥机的系统结构和关键技术.

期刊

耦合器光纤熔融拉锥系统OC2010型计算机系统结构Motion-control CardOptical power detectingFluxio

浅析高职专业课程改革质量评价

专业课程是实现专业教育目的和专业培养目标的重要手段，课程改革与建设是专业改革和建设的基础，是提高专业教学质量的核心，也是专业教学改革的重点和难点。本文分析课程改革质量

期刊

专业课程改革质量评价