论文部分内容阅读
在Van Eijk时序电路等价验证算法中引入切割法，提出一种改进算法．由切割法引发的错反问题同时得到解决，合理的切割可以使时序电路等价验证只需较少时间．改进算法用SAT解答器作为计算引擎，实验结果表明，改进算法的运行速度约为原先算法的2倍．
基于切割法的时序电路等价验证
【摘 要】
：
在Van Eijk时序电路等价验证算法中引入切割法，提出一种改进算法．由切割法引发的错反问题同时得到解决，合理的切割可以使时序电路等价验证只需较少时间．改进算法用SAT解答器作为
【机 构】
：
复旦大学专用集成电路与系统国家重点实验室
【出 处】
：
复旦学报(自然科学版)
【发表日期】
：
2006年1期
其他文献
给出了定义在n维复空间C^n上的Fock空间La^2（C^n）中的循环向量的一个完整刻划，证明了La^2（C^n）中的函数f（z）是循环向量当且仅当f（z）不取零值．
随着科技发展，生产和生活用电量越来越大，电已经成为最重要的资源之一，如何保证电力的供应对于国民经济发展和人民生活水平的提高都有非同一般的意义。在电力输送过程中，如何防雷
非英语专业大学生对听力一直深感头痛,他们对有效提高听力能力亦颇感棘手。适当运用元认知策略可提高他们的元认知水平,加快听力进步的幅度。元认知策略可分为三类：计划策略、
以间苯二酚为原料,分别与正十一醛和月桂醛,在盐酸、乙醇回流条件下进行缩合成环反应,得到中间体杯[4]间苯二酚芳烃衍生物;中间体再与对甲苯磺酰氯经过酯化反应制备了两种杯[
提出一种在接收端利用阵列天线进行船舶自定位的新方法.利用ESPRIT(借助旋转不变技术估计信号参数)算法估计出波达方向角(DOA),然后与利用波达方向角计算出船舶自身所在的坐
介绍了常用磁性材料Fe3O4、γ-Fe2O3及CoFe2O4及其制备方法。综述了磁性纤维及磁性纸的制备方法,回顾了细胞腔内填充法和原位复合法制备磁性纤维和磁性纸的研究进展情况,对两