期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
基于切割法的时序电路等价验证 被引量:1
1
作者 黄伟 唐璞山 《复旦学报(自然科学版)》 CAS CSCD 北大核心 2006年第1期102-106,共5页
在Van Eijk时序电路等价验证算法中引入切割法,提出一种改进算法.由切割法引发的错反问题同时得到解决,合理的切割可以使时序电路等价验证只需较少时间.改进算法用SAT解答器作为计算引擎.实验结果表明,改进算法的运行速度约为原先算法的... 在Van Eijk时序电路等价验证算法中引入切割法,提出一种改进算法.由切割法引发的错反问题同时得到解决,合理的切割可以使时序电路等价验证只需较少时间.改进算法用SAT解答器作为计算引擎.实验结果表明,改进算法的运行速度约为原先算法的2倍. 展开更多
关键词 半导体技术 计算机辅助设计 形式验证 sat解答器
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部