|
已选(0)清除
条数/页： 排序方式： |
| 无权访问的条目 期刊论文
作者: 檀彦卓; 韩银和; 李晓维
 Adobe PDF(109Kb) |  收藏 | 浏览/下载：0/0 | 提交时间：2010/03/30 |
| 无权访问的条目 期刊论文
作者: 李晓维; 吕涛; 李光辉; 邵明
Adobe PDF(135Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/03/30 |
| 无权访问的条目 期刊论文
作者: 胡瑜; 韩银和; 李晓维
Adobe PDF(223Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/03/30 |
| 无权访问的条目 期刊论文
作者: 董婕; 李吉; 檀彦卓; 徐勇军; 李晓维
Adobe PDF(183Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/03/30 |
| 基于增量可满足性的等价性检验方法 期刊论文
计算机学报, 2004, 卷号: 27.0, 期号: 010, 页码: 1388
作者: 李光辉; 李晓维
收藏 | 浏览/下载：5/0 | 提交时间：2023/12/04
增量可满足性 等价性检验 组合电路 形式验证 数字集成电路 等价结点 |
| 应用Variable-Tail编码压缩的测试资源划分方法 期刊论文
电子学报, 2004, 卷号: 32.0, 期号: 008, 页码: 1346
作者: 韩银和; 李晓维; 徐勇军; 李华伟
收藏 | 浏览/下载：5/0 | 提交时间：2023/12/04
Variable-Tail编码 Golomb编码 可适应性 测试模式 诊断模式 |
| 一个适于形式验证的ATPG引擎 期刊论文
计算机研究与发展, 2004, 卷号: 41.0, 期号: 005, 页码: 886
作者: 李光辉; 邵明; 李晓维
收藏 | 浏览/下载：5/0 | 提交时间：2023/12/04
组合电路 测试产生 形式验证 二叉判决图 布尔可满足性 |
| 基于JTAG标准的边界扫描在通用CPU中的设计 期刊论文
计算机工程, 2004, 卷号: 30.0, 期号: 019, 页码: 30
作者: 鲁巍; 杨修涛; 李晓维
收藏 | 浏览/下载：5/0 | 提交时间：2023/12/04
边界扫描 可测性设计 IEEEI 149．1 标准（JTAG） |
| 一种基于概率分析的扫描链动态功耗模型 期刊论文
微电子学与计算机, 2004, 卷号: 21.0, 期号: 002, 页码: 108
作者: 李晓维; 陈治国; 徐勇军
收藏 | 浏览/下载：5/0 | 提交时间：2023/12/04
CMOS电路 概率分析 扫描链 动态功耗模型 电路功耗 静态功耗 动态功耗 |
| 基于遗传算法的最大开导电流估计 期刊论文
计算机学报, 2004, 卷号: 27, 期号: 2, 页码: 186
作者: 徐勇军; 韩银和; 骆祖莹; 李晓维
收藏 | 浏览/下载：1/0 | 提交时间：2024/05/20
power gating 电源门控 |
