切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于OBDD时序电路设计的验证
基于OBDD时序电路设计的验证
来源 :陕西师范大学学报(自然科学版) | 被引量 : 0次 | 上传用户:niguibo
【摘 要】
:
依据有序二叉判定图(OBDD)和计算树逻辑(或称分支时态逻辑)CTL(Computational Tree Logic)的基本原理,分析了基于OBDD和CTL的验证数字电路设计的基本原理,并在此基础上,给出
【作 者】
:
刘建元
【机 构】
:
西安邮电学院计算机科学系
【出 处】
:
陕西师范大学学报(自然科学版)
【发表日期】
:
2002年2期
【关键词】
:
OBDD
时序电路
有序二叉判定图
分支时态逻辑
等价性检验
符号模型检验
布尔函数
电路设计
ordered binary decision diagram
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
依据有序二叉判定图(OBDD)和计算树逻辑(或称分支时态逻辑)CTL(Computational Tree Logic)的基本原理,分析了基于OBDD和CTL的验证数字电路设计的基本原理,并在此基础上,给出了时序电路等价验证的方法.
其他文献
柴油机强力螺栓(母)标准预紧力的计算
柴油机是交通运输中汽车和船舶的主要动力来源,其强力螺栓安装,维修时的标准预紧力,对提高经济性,恢复柴油机的动力性以及安全工作具有重要的现实意义,故应采用适当的计算方法,正确
期刊
强力螺栓
柴油机
标准预紧力
维修
计算
2004年智能运输系统产业及标准化国际发展趋势研讨会在京举办
2004年10月11-12日,在北京二十一世纪饭店举行了“2004年智能运输系统产业及标准化国际发展趋势研讨会”,研讨会由ITS标委会秘书处和交通国际合作事务中心联合承办。国外相关政
期刊
产业
国际发展
北京
政府管理部门
标委会
交通厅
趋势
研讨会
承办
“十五”
影响真空法沥青混合料理论最大密度的因素研究
沥青混合料理论最大相对密度可用于分析压实沥青混合料的参数,直接影响配合比设计标准值和配合比设计结果,是我国混合料配合比设计中的一个重要参数.加强对真空法理论最大相
期刊
沥青混合料
理论最大相对密度:真空法
试验研究
影响因素
配合比设计
沥青路面
asphalt
theory in max density
test metho
从英国的工厂法谈“让步政策”
<正> “让步政策”理论是不是马克思主义的史学理论?从1965年以来,就不断有人提出质疑,至今未得解决。前些时,反复阅读了《资本论》第八章《工作日》,受到很大启发。马克思在《工作日》中,用大量篇幅阐述了限制工作日的英国“工厂法”。马克思在《资本论》第一版序言中,特别强调了他在这个问题上的叙述。他说,“现在的统治阶级,不管有没有较高尚的动机,也不得不为了自己的切身利益,把一切可以由法律控制的、妨
期刊
正常工作日
马克思主义
资本论
资产阶级
马克思恩格斯
英国
封建社会
资本家
无限度
资本主义社会
用C语言实现人工智能中的搜索策略
使用应用广泛的程序设计语言(如C语言)来编写人工智能程序,可使大量与人工智能有关的实际问题简化。文中结合问题树介绍了人工智能中深度优先和宽度优先这两种重要且常用的搜索策
期刊
人工智能
搜索策略
深度优先
宽度优先
C语言
斯氏鼢鼠耳蜗形态对感知低频声波的适应
利用光学显微镜和透射电子显微镜技术对斯氏鼢鼠(Myospalax smithi)耳蜗进行显微和超显微水平观察,分析了其对低频声波感知的结构基础.结果表明,斯氏鼢鼠的耳蜗与其它哺乳类
期刊
斯氏鼢鼠
耳蜗
形态
低频声波
螺旋神经节
传出神经
毛细胞
Smithi′s zoker (Myospalax smithi)
cochlea
spira
西安城市周边地带的界定
在定义城市周边地带的基础上,分析了城市周边地带城市化特征.根据西安市城市空间结构现状,利用专家打分法确定了西安市各区县隐性城市化调整系数,提出计算其城市化率的公式.
期刊
西安市
城市化率
界定
城市化特征
打分法
区县
城市空间结构
计算结果
公式
专家
urban peripheral area
urban fringe
试论我国海区航标的法规体系
航标法规属行政法范畴;航标是保障船舶安全、经济、便利航行的重要助航设施。因此,世界上很多国家都制定了自己的航标法规并建立了航标法规体系。在《中华人民共和国航标条例》
期刊
航标
法规体系
中国
技术规范
基于UML的旅游信息系统建模研究
分析了统一建模语言(unified modeling language,UML)的建模机制,通过对综合性旅游信息系统组成及开发过程的研究,提出了一种基于UML综合性旅游信息系统的建模方法,并采用Rose工具
期刊
旅游信息系统
统一建模语言
静态建模
动态建模
tourism information system
unified modeling language
s
柔道运动员耳廓挫伤调查与分析
耳廓挫伤是柔道运动中常见的一种损伤,伤虽小若治疗不及时或治疗不当,可徜徉数日不愈,重则发生耳廓畸形。为了找出引起耳廓挫伤的机理和预防的方法,笔者对从事多年柔道运动的
期刊
柔道
耳廓
挫伤
畸形
judo
auricle
contusion
deformity
与本文相关的学术论文