基于OBDD时序电路设计的验证

• 作者: 刘建元
• 来源期刊: 陕西师范大学学报（自然科学版）
• 学科: 工学
• 关键词: 有序二叉判定图 分支时态逻辑 等价性检验 符号模型检验
• 年，卷（期）: 2002,（2）
• 所属期刊栏目: 专题研究
• 页码范围: 55-58
• 分类号: TP273
• 字数: 2020字
• 语种: 中文
• DOI: 10.3321/j.issn:1672-4291.2002.02.013

摘要

依据有序二叉判定图(OBDD)和计算树逻辑(或称分支时态逻辑)CTL(Computational Tree Logic)的基本原理,分析了基于OBDD和CTL的验证数字电路设计的基本原理,并在此基础上,给出了时序电路等价验证的方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘建元	西安邮电学院计算机科学系	8	27	3.0	5.0