首页 | 本学科首页   官方微博 | 高级检索  
     

验证包含黑盒的电路设计的有效方法
引用本文:李光辉,邵明,李晓维.验证包含黑盒的电路设计的有效方法[J].计算机学报,2004,27(6):796-802.
作者姓名:李光辉  邵明  李晓维
作者单位:1. 中国科学院计算技术研究所,北京,100080;浙江林学院信息工程学院,杭州,311300;中国科学院研究生院,北京,100039
2. 中国科学院计算技术研究所,北京,100080;中国科学院研究生院,北京,100039
3. 中国科学院计算技术研究所,北京,100080;中国科学院研究生院,100039
基金项目:国家自然科学基金重点项目 ( 90 2 0 70 0 2 ),北京市重点科技项目基金(H0 2 0 12 0 12 0 13 0 ),浙江省自然科学基金 (M 60 3 0 97)资助
摘    要:在超大规模集成电路设计中,为了进行早期的设计错误检测与调试或层次化验证,常常需要使用含黑盒的设计验证方法,该文提出了一种结合逻辑模拟和布尔可满足性的黑盒验证方法,用于验证设计中黑盒外部的功能正确性,该方法使用量化的合取范式(CNF)来表示电路中出现的未知约束,并且不需要修改电路结构,有效地节省了计算资源,此外,通过使用随机并行模拟增强了可满足性算法的错误检测能力,通过对ISCA’85电路的实验表明了该方法不仅比以往同类算法速度快,而且具有较好的错误检测能力。

关 键 词:超大规模集成电路设计  错误检测  层次化验证  黑盒验证方法  合取范式

An Efficient Method for Verifying Designs with Black Boxes
LI Guang-Hui , SHAO Ming , LI Xiao-Wei ,.An Efficient Method for Verifying Designs with Black Boxes[J].Chinese Journal of Computers,2004,27(6):796-802.
Authors:LI Guang-Hui    SHAO Ming  LI Xiao-Wei  
Affiliation:LI Guang-Hui 1),2),3) SHAO Ming 1),3) LI Xiao-Wei 1),3) 1)
Abstract:
Keywords:Boolean satisfiability  function verification  black box  Boolean comparison  logic simulation
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号