论文部分内容阅读
介绍了基于替换的组合电路的等价性检验算法，利用待检验的两个电路的结构相似性来逐步约简电路，从而加速了验证过程。
基于替换的组合电路的等价性检验方法
【摘 要】
：
介绍了基于替换的组合电路的等价性检验算法，利用待检验的两个电路的结构相似性来逐步约简电路，从而加速了验证过程。
【机 构】
：
成都信息工程学院,中国科学院成都计算机应用研究所
【出 处】
：
成都信息工程学院学报
【发表日期】
：
2006年2期
其他文献
2006年我国西南地区发生了严重的高温天气,筛选了1948年-2006年西南地区7、8月日平均气温持续3天及其以上高于25.5℃的高温时段,分析了西南地区高温变化的特征.结果表明:20世
工厂模式提供了创建家族产品或依赖对象的接口,但缺乏在交互过程中处理运行期动态构造对象和装配模块的能力。通过运用反射技术对工厂结构进行扩展,提出了一种新的动态组合工
设n是合数,如果对一切f（x）∈Zn[x]都满足f（x）nk≡f（x）mod（n,r（x））,那么就称n是模r（x）的k阶Carmichael数,这里r（x）是Zn[x]上的k次首一不可约多项式,用Ck,r（x）表示所有这种数的集合,并且定义Ck=
介绍了PKI的体系、认证流程和常见的几种PKI信任模型以及基于身份的PKI技术。分析了各种模型的优劣后利用桥接CA信任模型,结合PKI和ID-PKI的相关特点提出了一种复合的认证框
聚类是科学数据挖掘中的核心问题.在已提出的聚类算法中大都是基于＂距离＂的概念,这类算法的缺点在于处理数据量大和维数高的科学数据时不够有效,因此提出迭代网格算法.这个算法
多用户检测中的串行干扰检测器,因其结构简单、计算复杂度低而倍受关注,但由于其自身结构特点,容易引起误差传播。在串行干扰检测器中加入自适应滤波算法,使自适应消除器的权
介绍了一种新型网络体系结构SUNA,并将它的数据包与其它两种层次型网络体系结构中的数据包进行了组成和效率上的比较分析.说明了在这方面,SUNA的数据处理效率的优势.
介绍了一种基于Delta-Sigma调制小数分频技术和YTO的宽带、高分辨率频率合成器的设计方案。对环路的数学模型进行了详细的分析,给出了计算机辅助设计结果。实测表明,方案可实
探讨虚拟局域网技术。基于端口的VLAN（虚拟局域网）技术在保证rVLAN本身灵活性的同时，又为网络的安全管理提供了有效的技术手段。利用Cisco交换机，按端口组网的方法建设校园网。