已选(0)清除
条数/页: 排序方式: |
| 无权访问的条目 期刊论文 作者: 邵明; 李光辉; 李晓维 Adobe PDF(303Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/11/01 |
| 无权访问的条目 期刊论文 作者: 李光辉; 邵明; 李晓维 Adobe PDF(524Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/11/23 |
| 无权访问的条目 期刊论文 作者: 李晓维; 吕涛; 李光辉; 邵明 Adobe PDF(135Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/03/30 |
| 基于增量可满足性的等价性检验方法 期刊论文 计算机学报, 2004, 卷号: 27.0, 期号: 010, 页码: 1388 作者: 李光辉; 李晓维 收藏  |  浏览/下载:8/0  |  提交时间:2023/12/04 增量可满足性 等价性检验 组合电路 形式验证 数字集成电路 等价结点 |
| 一个适于形式验证的ATPG引擎 期刊论文 计算机研究与发展, 2004, 卷号: 41.0, 期号: 005, 页码: 886 作者: 李光辉; 邵明; 李晓维 收藏  |  浏览/下载:8/0  |  提交时间:2023/12/04 组合电路 测试产生 形式验证 二叉判决图 布尔可满足性 |
| 验证包含黑盒的电路设计的有效方法 期刊论文 计算机学报, 2004, 卷号: 27.0, 期号: 006, 页码: 796 作者: 李光辉; 邵明; 李晓椎 收藏  |  浏览/下载:8/0  |  提交时间:2023/12/04 超大规模集成电路设计 错误检测 层次化验证 黑盒验证方法 合取范式 |