利用改善的静态隐含策略加速等价性验证

• 作者: 严晓浪 卢永江 竺红卫 葛海通
• 来源期刊: 电路与系统学报
• 学科: 工学
• 关键词: SAT 静态隐含 关联节点隐含 加速策略
• 年，卷（期）: 2005,（3）
• 所属期刊栏目: 论文
• 页码范围: 47-51
• 页数: 5页
• 分类号: TP302
• 字数: 3116字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-0249.2005.03.011

摘要

随着近年来高效SAT(Satisfiability)求解算法提出,SAT已成为集成电路形式验证方法中重要引擎之一.但在运用SAT验证时需将电路结构转化为成OR-AND两级逻辑描述,丢失了电路的拓扑信息.本文利用改善的静态隐含策略来提取有用子句作为预处理,来加快验证过程.本文算法在原有静态隐含技术的基础上,引入了关联节点隐含及隐含过程加速策略.给出的ISCAS85电路的实验结果表明算法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	严晓浪	浙江大学超大规模集成电路设计研究所	246	1634	19.0	29.0
2	葛海通	浙江大学超大规模集成电路设计研究所	52	293	8.0	14.0
3	竺红卫	浙江大学超大规模集成电路设计研究所	20	83	5.0	7.0
4	卢永江	浙江大学超大规模集成电路设计研究所	9	43	5.0	6.0