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

• 作者: 刘建元
• 来源期刊: 微电子学与计算机
• 关键词: 有序二叉判定图 分支时态逻辑 模型检验 符号模型检验
• 年，卷（期）: 2002,（10）
• 所属期刊栏目: 软件与算法
• 页码范围: 11-12,16
• 页数: 3页
• 分类号: TN79
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7180.2002.10.004

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘建元		8	27	3.0	5.0