期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于切割法的时序电路等价验证
被引量:
1
1
作者
黄伟
唐璞山
《复旦学报(自然科学版)》
CAS
CSCD
北大核心
2006年第1期102-106,共5页
在Van Eijk时序电路等价验证算法中引入切割法,提出一种改进算法.由切割法引发的错反问题同时得到解决,合理的切割可以使时序电路等价验证只需较少时间.改进算法用SAT解答器作为计算引擎.实验结果表明,改进算法的运行速度约为原先算法的...
在Van Eijk时序电路等价验证算法中引入切割法,提出一种改进算法.由切割法引发的错反问题同时得到解决,合理的切割可以使时序电路等价验证只需较少时间.改进算法用SAT解答器作为计算引擎.实验结果表明,改进算法的运行速度约为原先算法的2倍.
展开更多
关键词
半导体技术
计算机辅助设计
形式验证
sat解答器
原文传递
题名
基于切割法的时序电路等价验证
被引量:
1
1
作者
黄伟
唐璞山
机构
复旦大学专用集成电路与系统国家重点实验室
出处
《复旦学报(自然科学版)》
CAS
CSCD
北大核心
2006年第1期102-106,共5页
基金
国家自然科学基金资助项目(90207002)
国家"八六三"计划资助项目(2002AA1Z1460)
文摘
在Van Eijk时序电路等价验证算法中引入切割法,提出一种改进算法.由切割法引发的错反问题同时得到解决,合理的切割可以使时序电路等价验证只需较少时间.改进算法用SAT解答器作为计算引擎.实验结果表明,改进算法的运行速度约为原先算法的2倍.
关键词
半导体技术
计算机辅助设计
形式验证
sat解答器
Keywords
semiconductor technology
computer-aided design
formal verification
sat
-solver
分类号
TN402 [电子电信—微电子学与固体电子学]
原文传递
题名
作者
出处
发文年
被引量
操作
1
基于切割法的时序电路等价验证
黄伟
唐璞山
《复旦学报(自然科学版)》
CAS
CSCD
北大核心
2006
1
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部