【摘 要】
：
随着集成电路技术的飞速发展,电路的规模也不断增大.电路验证领域正面临前所未有的挑战,如何快速并且完备地完成超大规模集成电路的等价验证,已经成为当前的研究热点.与传统
论文部分内容阅读
随着集成电路技术的飞速发展,电路的规模也不断增大.电路验证领域正面临前所未有的挑战,如何快速并且完备地完成超大规模集成电路的等价验证,已经成为当前的研究热点.与传统的基于模拟的验证方法相比,形式化的验证方法具有完备性的优点.该文提出的形式化的大规模集成电路中组合电路的等价验证方法主要的创新之处在于:(1)基于层分划的等价配对点生成方法.这方法可以大大提高配对点的命中率,并降低配对点的生成时间,从而大大加快整个验证的速度.(2)基于阈值的错反问题(false negative)回溯控制.有效地选取回溯的时机,控制无效回溯次数,保证计算的效率.(3)基于SAT问题解决框架的子电路分划.将电路的分划、回溯等过程,有机地融入SAT问题DLL算法解决框架之中,避免了反复回溯中的重复计算,并结合SAT问题研究在BCP(Boolean Constrain Propagation)和变量选择方面比较成功的技术,加快验证的速度.此外,我们的验证算法具有很强的灵活性.对于内部,子电路的验证上可以调用不同的SAT Solver来完成;对于外部,可以作为独立的等价电路验证软件使用,也可以作为一个模块被其他算法调用,比如用于时序电路的等价验证.
其他文献
本文基于核心素养下的教学理念,以凸透镜成像规律复习为例,从应用网络微课、自拍微课、数学相似图形以及游戏模式等方面阐述了物理中考实验的有效复习策略.
以初中物理教材为例,介绍了物理教材德育渗透形式:物理学史、物理现象和物理实验;以鲁科版物理教材电学部分的“安全用电”为例,挖掘其包含的德育因素并进行德育点案例分析.
高功率微波技术是本世纪七十年代兴起的一门边缘学科。由于军事和科学研究对更高功率、更高能量、更高频率微波源的不断需求，短短二十多年时间这门学科得以迅猛发展并受到广泛
体育教学是我国教学体系中十分重要的一部分，早在二十世纪初我国的教育家就开始对体育教学深入研究。体育课作为我国教育体系课程中不可或缺的一部分，其目的是提升学生的身体素
本文从理论和应用两方面对晶圆级可靠性进行了系统的分析与研究,所讨论之晶圆级可靠性系统主要包含四个阶段: 晶圆级可靠性设计与发展,晶圆级可靠性评估及验证,晶圆级可靠性
基于内容的图像检索技术通过分析图像的颜色、纹理、形状等视觉特征，从图像库中查找含有特定特征的图像。它克服了传统的基于文本的图像检索方法的不足，融合了图像处理、图像识
本文以山西省农科院果树所果园夏秋季杂草为研究对象，在野外调查的基础上，应用植被数量生态学的方法，对夏秋季杂草群落生态进行系统的研究，包括夏秋季植物群落的分类排序、物种多
日常生活中,我们常常需要知道液体的密度,这时,我们就需要使用密度计来测量液体的密度,但是传统的密度计由于构造问题,它的刻度是不均匀的,那么有没有办法对传统的密度计进行
椽竹（Bambusa textilis var.fasca McClure）,又名温州水竹,是青皮竹的一个变种,竹节平滑,节间较长,纤维质量好,是我国为数不多的优良耐寒性纤维用和纸浆用丛生竹种之一。本文以
FPGA能够减少电子系统的开发风险和开发成本,缩短上市时间,降低维护升级成本,广泛地应用在电子系统中.随着集成电路向着片上系统(SoC)的发展,需要设计出FPGA IP核用于SoC芯片