【摘 要】
：
虽然传统的等价性验证方法如BDD或布尔SAT等能够完成低层次的电路验证,但针对抽象层次较高的电路描述验证效率较低,基于多项式的数学方法能够从字级到位级形成统一的电路描述
【基金项目】
：
黑龙江工程学院博士基金项目（2012BJ08）
论文部分内容阅读
虽然传统的等价性验证方法如BDD或布尔SAT等能够完成低层次的电路验证,但针对抽象层次较高的电路描述验证效率较低,基于多项式的数学方法能够从字级到位级形成统一的电路描述,为高效率地完成等价性验证提供理论依据。探讨组合逻辑电路的多项式描述方法,并以多项式理想的良性基为基础,给出一种高层次等价性验证算法,并针对多种基准电路进行实验,以验证算法的性能。
其他文献
提出一种基于高分辨率遥感图像的分水岭分割方法。首先,利用Canny算法进行边缘检测,得到边缘梯度图。其次,利用数学形态学对梯度图像进行后处理。然后,根据自动标记分水岭变换方法实现高分辨率遥感图像分割。最后,利用基于信息熵评价方法,对遥感图像的分割结果进行非监督评价。结果表明:所提方法可以有效地抑制遥感图像的过分割现象,并取得较好的分割效果。
简单介绍支持向量＊elL（Support Vector Machine，SVM）的基本原理，并用该原理建立用于大坝变形监测的SVM模型。通过实例的验算和对比分析，验证SVM模型在大坝监测中比BP神经网络模型、
目的观察在不同浓度三碘甲状腺原氨酸环境下人成骨肉瘤MG63细胞株增殖和肿瘤坏死因子相关凋亡诱导配体（TRAIL）及其护骨素（OPG）、护骨素配体（OPGL）的表达,探讨甲亢性骨质疏松症的发
连云港市是我国沿海中部沟通东西、连接南北的区域性中心城市、国际性的港口工业城市和现代化的滨海旅游城市。文中重点指出连云港城市产生内涝灾害的主要原因以及风险,并提