云南高校图书馆联盟文献共享服务平台- 超大规模集成电路设计

超大规模集成电路设计: 作品数：22被引量：7H指数：2; 导出分析报告; 相关领域：电子电信更多>>; 相关作者：郭慧民陈杰沈海华李光辉李晓维更多>>; 相关机构：中国科学院中国科学院微电子研究所华中科技大学北京百度网讯科技有限公司更多>>; 相关期刊：《计算机工程》《计算机学报》《高性能计算技术》《计算机与数字工程》更多>>; 相关基金：国家高技术研究发展计划国家自然科学基金浙江省自然科学基金国家教育部博士点基金更多>>

检索结果分析

选择条件：

共条记录，以下是1-1

全选清除导出

视图：

排序：

验证包含黑盒的电路设计的有效方法被引量：3: 《计算机学报》2004年第6期796-802,共7页李光辉邵明李晓维; 国家自然科学基金重点项目 ( 90 2 0 70 0 2 );北京市重点科技项目基金(H0 2 0 12 0 12 0 13 0 );浙江省自然科学基金 (M 60 3 0 97)资助; 在超大规模集成电路设计中 ,为了进行早期的设计错误检测与调试或层次化验证 ,常常需要使用含黑盒的设计验证方法 .该文提出了一种结合逻辑模拟和布尔可满足性的黑盒验证方法 ,用于验证设计中黑盒外部的功能正确性 .该方法使用量化的合...; 关键词：超大规模集成电路设计错误检测层次化验证黑盒验证方法合取范式