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

摘要：

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

关键词：有序二叉判定图、分支时态逻辑、等价性检验、符号模型检验

所属期刊栏目：30

分类号：TP273(自动化技术及设备)

资助基金：国家自然科学基金69473017

在线出版日期：2011-12-13（万方平台首次上网日期，不代表论文的发表时间）

页码：55-58