哈尔滨理工大学学报
哈爾濱理工大學學報
합이빈리공대학학보
JOURNAL OF HARBIN UNIVERSITY OF SCIENCE AND TECHNOLOGY
2009年
3期
113-116
,共4页
形式验证%等价性验证%WGL模型
形式驗證%等價性驗證%WGL模型
형식험증%등개성험증%WGL모형
等价性验证在集成电路设计中占有重要地位.然而,传统的电路表示模型存在着算法复杂度高或只针对特定电路有效的缺点.针对这一缺点在介绍了WGL模型的基础上,给出基于该模型的等价性验证算法,并对比传统的BDD模型进行实验.实验结果表明算法是有效的.
等價性驗證在集成電路設計中佔有重要地位.然而,傳統的電路錶示模型存在著算法複雜度高或隻針對特定電路有效的缺點.針對這一缺點在介紹瞭WGL模型的基礎上,給齣基于該模型的等價性驗證算法,併對比傳統的BDD模型進行實驗.實驗結果錶明算法是有效的.
등개성험증재집성전로설계중점유중요지위.연이,전통적전로표시모형존재착산법복잡도고혹지침대특정전로유효적결점.침대저일결점재개소료WGL모형적기출상,급출기우해모형적등개성험증산법,병대비전통적BDD모형진행실험.실험결과표명산법시유효적.
