期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
利用状态缓存的时序等价性验证算法
被引量:
1
1
作者
杨军
翁延龄
+1 位作者
葛海通
严晓浪
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2008年第2期149-154,共6页
为了提高时序电路的等价性验证速度,提出一种改进的基于寄存器匹配的验证算法.除了利用原像计算避免误判之外,该算法还将可达状态和不可达状态引入到验证过程中.将仿真过程中从初始状态可以到达的状态记录为可达状态,将验证过程中确认...
为了提高时序电路的等价性验证速度,提出一种改进的基于寄存器匹配的验证算法.除了利用原像计算避免误判之外,该算法还将可达状态和不可达状态引入到验证过程中.将仿真过程中从初始状态可以到达的状态记录为可达状态,将验证过程中确认不能从初始状态到达的状态记录为不可达状态,利用它们减少验证过程中的原像计算.基于mcnc91电路的实验数据表明,该算法有效地减少了验证时间.
展开更多
关键词
时序等价性验证
寄存器匹配
原像计算
可达状态
不可达状态
下载PDF
职称材料
题名
利用状态缓存的时序等价性验证算法
被引量:
1
1
作者
杨军
翁延龄
葛海通
严晓浪
机构
浙江大学超大规模集成电路设计研究所
出处
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2008年第2期149-154,共6页
基金
国家自然科学基金(90207002)
文摘
为了提高时序电路的等价性验证速度,提出一种改进的基于寄存器匹配的验证算法.除了利用原像计算避免误判之外,该算法还将可达状态和不可达状态引入到验证过程中.将仿真过程中从初始状态可以到达的状态记录为可达状态,将验证过程中确认不能从初始状态到达的状态记录为不可达状态,利用它们减少验证过程中的原像计算.基于mcnc91电路的实验数据表明,该算法有效地减少了验证时间.
关键词
时序等价性验证
寄存器匹配
原像计算
可达状态
不可达状态
Keywords
sequential equivalence checking
register mapping
pre-image computation
reachable states
unreachable states
分类号
TP302 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
利用状态缓存的时序等价性验证算法
杨军
翁延龄
葛海通
严晓浪
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2008
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部