【摘 要】
：
随着集成电路设计规模的日益增大,结合多种推理引擎已成为组合电路形式化等价性验证的重要手段.提出一种基于电路拓扑结构分析的组合等价性验证方法,将电路的拓扑结构与验证算法的复杂性关联起来.在验证过程开始之前,利用min-cut方法计算表征电路复杂性的"电路宽度",以确定最佳的推理引擎,避免了传统的引擎切换过程,提高了算法的效率.针对ISCAS 85电路的实验结果表明了该方法的效率和可行性.
【机 构】
：
浙江林学院信息工程学院,浙江大学工业控制技术国家重点实验室
【基金项目】
：
国家“八六三”高技术研究发展计划（2008AA042132）,浙江省自然科学基金（Y106707）,浙江省科技厅重点项目（2007C21045）.
论文部分内容阅读
随着集成电路设计规模的日益增大,结合多种推理引擎已成为组合电路形式化等价性验证的重要手段.提出一种基于电路拓扑结构分析的组合等价性验证方法,将电路的拓扑结构与验证算法的复杂性关联起来.在验证过程开始之前,利用min-cut方法计算表征电路复杂性的"电路宽度",以确定最佳的推理引擎,避免了传统的引擎切换过程,提高了算法的效率.针对ISCAS 85电路的实验结果表明了该方法的效率和可行性.
其他文献
本文讨论了国内及国外对于水平井、大斜度定向井摩擦阻力研究的现状及发展趋势,详细介绍了钻井摩阻问题的产生及研究背景,以及国外研究这一问题的著名学者,我国近十几年来研
针对最早截止时刻优先(earliest deadline first,EDF)调度算法队头阻塞任务导致资源利用率和配置端口复用率低下的问题,提出一种队头阻塞优化的EDF实时调度算法.通过定义无效阻塞任务并引入无效阻塞任务丢弃策略,提前判定和丢弃无法调度成功的任务,以利于后续任务调度;通过定义队头阻塞任务最早布局成功时刻,引入匹配任务提前配置策略和次队头任务提前配置策略,使阻塞过程中的部分空闲可重构
随着计算机网络技术的发展和信息化、网络化建设步伐的加快,各石油企业都建设了局域网,与集团公司和股份公司主干网相连.科技管理作为石油企业管理工作的重要组成部分,也在逐
快速发展的产业要求通信学科类研究生具有更前沿的知识以适应行业发展的要求。以科研为驱动的“理论实践一体化”,将科研与教学融为一体,师生双方边教、边学、边做、边研,革
企业重组改制后,大部分优良资产和少部分人员进入股份公司上市,而企业历史上大而全、小而全沉积下来的矛盾和困难留在了存续企业,集中表现在结构性矛盾突出,只有少量资产而且
语言作为人与人之间交流想法、互通观点最重要、最直接的工具,是我们产生思维后最主要的展现方式。在学习语言的整个过程中,幼儿期最为关键和敏感,学龄前幼儿的叙事讲述过程最能体现其运用语言的能力,且幼儿的语言能力、读写能力、认知水平等多方面的发展均受其叙事能力的发展直接或间接的影响,因此,各界长期热切关注着对学前幼儿叙事能力方面的研究。幼儿叙事能力的培养对幼儿成长有帮助,而且能促进他们未来进入学龄阶段后良
针对集成电路设计的多层布线问题,提出了以直接优化互连时延为目标、同时考虑通孔电阻与耦合电容的层分配算法.通过基于路径的时延分析寻找电路的关键路径,以通孔的时延模型和概率耦合电容模型作为层分配模型计算资源分配的代价,利用基于启发式的贪婪算法进行层分配.实验结果表明:该算法比只控制通孔和耦合电容数量的层分配策略具有更大的优势.
近日，美国FDA宣布，因为止痛药Palladone在与酒精相互作用时，可能引起使用者死亡，制造商Purdue制药公司已经同意将该产品撤市。
当前,无人机的不断普及在带来娱乐和便捷的同时,也带来了无人机自身的事故与相关安全问题。然而,无人机小体积,高灵活性等特点使得对其的反制颇有难度。因此,目前对于小型无
在当今物质与文化迅速发展变化的时代,人类的精神世界也愈加的丰富多彩。人类在追求个性自由解放时常常打破常规,寻求真正的自我,并使之得到发展。正如罗丹所言:“一个真正的艺术家永远表现他所想的东西而不怕践踏现存的规范”。~((1))没错!20世纪的德国表现艺术家们遵循着这条箴言。通过实践研究与思考,本课题的脉络梳理将搭建这样一个框架:文章分为三个部分。第一部分是简要阐述德国表现主义绘画,第二部分是经过研