论文部分内容阅读
文章分析了目前常用的等价性检验方法的特点,包括功能性和结构性的验证方法;讨论了基于二叉判决图(BDD)的组合电路等价性检验方法,并分析了等价性检验过程中的误判问题及其消除方法;然后给出了一种关于带黑匣子的部分实现的隐式等价性检验方法,实验结果表明了该方法的有效性.
基于BDD的组合电路等价性检验方法
【摘 要】
：
文章分析了目前常用的等价性检验方法的特点,包括功能性和结构性的验证方法;讨论了基于二叉判决图(BDD)的组合电路等价性检验方法,并分析了等价性检验过程中的误判问题及其消
【机 构】
：
中国科学院计算技术研究所,中国科学院计算技术研究所
【出 处】
：
微电子学与计算机
【发表日期】
：
2003年2期
其他文献
遗传算法在问题优化中的应用已有了许多研究,但对于大型多目标规划问题而言,由于其问题特性和计算量大而限制了遗传算法的应用.为探索新的问题求解方法,提出了一种基于遗传算
在三维人体数据处理过程中,本文综合分析了处理数据误差的各种方法,提出了逐线动态数据处理算法,解决了数据量庞大的三维人体数据处理及成像问题,为进一步人体不规则曲面的三维造型和加工提供依据。
WindowsCE是适用于32位智能便携式设备产品的一个模块化、实时、嵌入式操作系统,以其为平台的产品越来越多。本文简要介绍了WinCE组成及其驱动程序的结构,结合CEPB下开发SPI
频繁模式树算法是一种优秀的关联规则挖掘算法.频繁模式树算法的挖掘对象是水平数据分布的数据库,现实中有大量数据垂直分布的数据库不能直接应用频繁模式树算法进行挖掘.本
【摘要】 Bm亚型在临床上较少见。该文分析了一例Bm亚型患者的血型鉴定过程。该例患者的微柱凝胶法显示血型正反不一致，正定型为O型，反定型为A型，抗体筛选结果为阴性，吸收放散实验证实其红细胞存在弱B抗原，且红细胞与抗A、B血清不凝集，证实为Bm亚型。该例提示，当发现患者正反定型不一致时应进行血型血清学实验鉴定其是否为亚型，选择合适的血液给亚型患者输注，确保临床输血安全。 【关键词】 血型;Bm
本文阐述了在仓储物害虫分类识别研究中利用计算机数字图像处理技术,对谷物害虫图像的一阶灰度值直方图和图像的目标区域,自动提4取静态仓储物害虫图像的数理统计特征、纹理特征和几何形状特征的主要技术和方法。试验结果表明,该方法可以为谷物害虫的计算机自动模式识别(快速分类)提供稳定的特征参数值,有效地提高了识别率。该方法为仓储物害虫的快速鉴定和分类研究开辟了新的途径。