基于WGL模型的等价性验证

Chinese

您当前的位置：

首页 >

文章列表页 >

基于WGL模型的等价性验证

电气与电子工程 | 更新时间：2026-07-10

- 基于WGL模型的等价性验证
- Equivalence Checking Based on Weighted Generalized List Model
- 哈尔滨理工大学学报 2009年14卷第3期页码：113-116
- 作者机构：
  
  哈尔滨工程大学计算机科学与技术学院
- 作者简介：
- 基金信息：
- DOI：
  中图分类号： TN402
- 纸质出版：2009
- 稿件说明：
移动端阅览
范德会, 马光胜. 基于WGL模型的等价性验证[J]. 哈尔滨理工大学学报, 2009,14(3):113-116.

FAN De-hui, MA Guang-sheng. Equivalence Checking Based on Weighted Generalized List Model[J]. 2009, 14(3): 113-116.
范德会, 马光胜. 基于WGL模型的等价性验证[J]. 哈尔滨理工大学学报, 2009,14(3):113-116. DOI：

FAN De-hui, MA Guang-sheng. Equivalence Checking Based on Weighted Generalized List Model[J]. 2009, 14(3): 113-116. DOI：

等价性验证在集成电路设计中占有重要地位.然而

传统的电路表示模型存在着算法复杂度高或只针对特定电路有效的缺点.针对这一缺点在介绍了WGL模型的基础上

给出基于该模型的等价性验证算法

并对比传统的BDD模型进行实验.实验结果表明算法是有效的.

Equivalence checking is playing a significant role in Integrated Circuits design.However

the common models for verification either have their complexity problems or have applicable limitations.In order to overcome the deficiencies

a model WGL(Weighted Generalized List) is proposed and based on WGL we give an algorithm for cheking.Compared with the model BDD

the experiments show that the WGL is more efficient.

浏览量

2160

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

一种上下文感知特征增强的行人重识别方法

结合在线注意力网络的变电站绝缘子缺陷识别研究

高压皱纹铝护套电缆缓冲层电烧蚀机理与改进

一种改进的 CSMA / CA 物理载波监听方法

Hom - 李超三系的(θ,φ) - 导子和 Jordan (θ,φ) - 导子