基于切割法的时序电路等价验证

• 作者: 唐璞山 黄伟
• 来源期刊: 复旦学报（自然科学版）
• 学科: 工学
• 关键词: 半导体技术 计算机辅助设计 形式验证 SAT解答器
• 年，卷（期）: 2006,（1）
• 页码范围: 102-106
• 页数: 5页
• 分类号: TN402
• 字数: 4330字
• 语种: 中文
• DOI: 10.3969/j.issn.0427-7104.2006.01.022

摘要

在Van Eijk时序电路等价验证算法中引入切割法,提出一种改进算法.由切割法引发的错反问题同时得到解决,合理的切割可以使时序电路等价验证只需较少时间.改进算法用SAT解答器作为计算引擎.实验结果表明,改进算法的运行速度约为原先算法的2倍.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	唐璞山	复旦大学专用集成电路与系统国家重点实验室	36	143	7.0	9.0
2	黄伟	复旦大学专用集成电路与系统国家重点实验室	13	56	4.0	7.0