|
已选(0)清除
条数/页： 排序方式： |
| 无权访问的条目 学位论文
作者: 邵明富
 Adobe PDF(2320Kb) |  收藏 | 浏览/下载：0/0 | 提交时间：2011/07/05 |
| 无权访问的条目 期刊论文
作者: 韦祎; 杨继爽; 袁雄鹰; 邵明富; 王超; 卜东波
Adobe PDF(380Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/02/02 |
| 无权访问的条目 期刊论文
作者: 邵明; 李光辉; 李晓维
Adobe PDF(303Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/11/01 |
| 无权访问的条目 期刊论文
作者: 李光辉; 邵明; 李晓维
Adobe PDF(524Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/11/23 |
| 无权访问的条目 期刊论文
作者: 李晓维; 吕涛; 李光辉; 邵明
Adobe PDF(135Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/03/30 |
| 一个适于形式验证的ATPG引擎 期刊论文
计算机研究与发展, 2004, 卷号: 41.0, 期号: 005, 页码: 886
作者: 李光辉; 邵明; 李晓维
收藏 | 浏览/下载：5/0 | 提交时间：2023/12/04
组合电路 测试产生 形式验证 二叉判决图 布尔可满足性 |
| 验证包含黑盒的电路设计的有效方法 期刊论文
计算机学报, 2004, 卷号: 27.0, 期号: 006, 页码: 796
作者: 李光辉; 邵明; 李晓椎
收藏 | 浏览/下载：5/0 | 提交时间：2023/12/04
超大规模集成电路设计 错误检测 层次化验证 黑盒验证方法 合取范式 |
| 基于BDD的组合电路等价性检验方法 期刊论文
微电子学与计算机, 2003, 卷号: 20.0, 期号: 002, 页码: 48
作者: 李光辉; 邵明; 李晓维
收藏 | 浏览/下载：5/0 | 提交时间：2023/12/04
BDD 形式验证 等价性检验 符号模拟 三叉判决图 组合电路 专用集成电路 |
