论文部分内容阅读
依据有序二叉判定图(OBDD)和计算树逻辑(或称分支时态逻辑)CTL(Computational Tree Logic)的基本原理,分析了基于OBDD和CTL的验证数字电路设计的基本原理,并在此基础上,给出了时序电路等价验证的方法.
基于OBDD时序电路设计的验证
【摘 要】
：
依据有序二叉判定图(OBDD)和计算树逻辑(或称分支时态逻辑)CTL(Computational Tree Logic)的基本原理,分析了基于OBDD和CTL的验证数字电路设计的基本原理,并在此基础上,给出
【机 构】
：
西安邮电学院计算机科学系
【出 处】
：
陕西师范大学学报(自然科学版)
【发表日期】
：
2002年2期
其他文献
柴油机是交通运输中汽车和船舶的主要动力来源，其强力螺栓安装，维修时的标准预紧力，对提高经济性，恢复柴油机的动力性以及安全工作具有重要的现实意义，故应采用适当的计算方法，正确
沥青混合料理论最大相对密度可用于分析压实沥青混合料的参数,直接影响配合比设计标准值和配合比设计结果,是我国混合料配合比设计中的一个重要参数.加强对真空法理论最大相
使用应用广泛的程序设计语言（如Ｃ语言）来编写人工智能程序，可使大量与人工智能有关的实际问题简化。文中结合问题树介绍了人工智能中深度优先和宽度优先这两种重要且常用的搜索策
利用光学显微镜和透射电子显微镜技术对斯氏鼢鼠(Myospalax smithi)耳蜗进行显微和超显微水平观察,分析了其对低频声波感知的结构基础.结果表明,斯氏鼢鼠的耳蜗与其它哺乳类
在定义城市周边地带的基础上,分析了城市周边地带城市化特征.根据西安市城市空间结构现状,利用专家打分法确定了西安市各区县隐性城市化调整系数,提出计算其城市化率的公式.
分析了统一建模语言（unified modeling language，UML）的建模机制，通过对综合性旅游信息系统组成及开发过程的研究，提出了一种基于UML综合性旅游信息系统的建模方法，并采用Rose工具