哈尔滨工程大学计算机科学与技术学院
Published:2009
移动端阅览
FAN De-hui, MA Guang-sheng. Equivalence Checking Based on Weighted Generalized List Model[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.
0
Views
2160
下载量
CSCD
Publicity Resources
Related Articles
Related Author
Related Institution