论文部分内容阅读
由于时序电路的复杂性,时序电路的等价性验证一直是一个难题.本文首先介绍了用BDD进行隐式的状态遍历来验证时序电路;然后着重阐述了锁存器的匹配及其在时序电路等价性验证中的运用,通过匹配锁存器,可以用验证组合电路的方法来验证时序电路,大大减小了验证难度.
基于BDD的时序电路等价性验证
【摘 要】
：
由于时序电路的复杂性,时序电路的等价性验证一直是一个难题.本文首先介绍了用BDD进行隐式的状态遍历来验证时序电路;然后着重阐述了锁存器的匹配及其在时序电路等价性验证中
【机 构】
：
浙江大学,超大规模集成电路设计研究所,浙江,杭州,310027
【出 处】
：
第四届中国测试学术会议
【发表日期】
：
2006年8期
其他文献
本文针对成层粘弹性地基模型,运用Laplace变换及矩阵传递法求解了任意荷载下成层粘弹性地基一维变形问题,得到了频域内的通解,通过Laplace逆变换,即可计算成层粘弹性地基在任
增强现实技术是指将计算机产生的信息(如图形或虚拟物体)动态地加载到真实世界场景中,该技术从20世纪90年代开始迅速发展,是近几年研究热点之一,涉及到计算机图形学、计算机
粒子群优化算法自提出以来,由于其容易理解、易于实现,所以发展很快,在很多领域得到了应用。本文针对生理信号的情感状态识别问题,采用带变异算子的离散二进制粒子群优化算法
农业景观游戏是扩展农业的休闲娱乐和科普教育功能的一种有效形式。文章以北京海淀上庄农业园为原型,采用Virtools开发平台开发了一款进行乡村花草识别的农业景观游戏,介绍了
主要介绍了线条的心理学研究。将心理学研究的方法与以计算机技术为研究手段的方法相区分,线条的心理学研究常使用比较的研究方法,并且以知觉研究为主。研究领域广泛,着重介
在利用细胞自动机与多智能体技术基础上,运用BDI(Belief-Desire-Intention)理论,建立了在紧急状况下(如火灾)公共场所人员疏散的仿真模型。在人群仿真过程中,充分考虑人员对
碳青霉烯类抗生素是β-内酰胺环4位的硫原子被碳原子取代。碳青霉烯类属于超广谱抗生素并且对β-内酰胺酶稳定。由于碳青霉烯类抗生素具有超广谱抗菌活性、良好的临床疗效和
潮模砂日益增长的热负荷,更快的循环时间以及对造型材料质量要求的提高,对型砂制备提出了更高的要求.只有当型砂包含了解体极佳的膨润土才能保证最可能好的质量.这种要求导致
临安市先后荣获“国家级生态建设示范区”、“全国造林绿化百佳县”、“全国经济林建设先进县”、“中国优秀旅游城市”、“国家卫生城市”、“国际示范林亚太地区森林经营杰
近年来，许昌市坚持把创建国家森林城市作为落实科学发展观、构建和i皆社会、改善人居环境、提升城市品位、优化投资环境、增强城市竞争力的有效载体，先后投入20多亿元用于造林