|
已选(0)清除
条数/页： 排序方式： |
| 无权访问的条目 期刊论文
作者: 刘领一; 赵阳; 吕涛; 李华伟; 李晓维
 Adobe PDF(271Kb) |  收藏 | 浏览/下载：0/0 | 提交时间：2010/11/22 |
| 无权访问的条目 期刊论文
作者: 陈云霁; 张健; 沈海华; 胡伟武
Adobe PDF(413Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/10/21 |
| 一种基于SAT的运算电路查错方法 期刊论文
计算机学报, 2007, 卷号: 30.0, 期号: 012, 页码: 2082
作者: 陈云霁 ; 张健; 沈海华; 胡伟武
收藏 | 浏览/下载：10/0 | 提交时间：2023/12/04
形式验证 模型检验 SAT E—CNF 标志子句 |
| 无权访问的条目 期刊论文
作者: 陈云霁; 马 麟; 沈海华; 胡伟武
Adobe PDF(514Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/10/15 |
| 龙芯2号微处理器浮点除法功能部件的形式验证 期刊论文
计算机研究与发展, 2006, 卷号: 43, 期号: 10, 页码: 1835
作者: 陈云霁; 马麟; 沈海华; 胡伟武
收藏 | 浏览/下载：10/0 | 提交时间：2023/12/04
形式验证 字级模型检验 有界模型检验 |
| 无权访问的条目 期刊论文
作者: 王海霞; 韩承德
Adobe PDF(401Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/10/14 |
| 无权访问的条目 期刊论文
作者: 李光辉; 邵明; 李晓维
Adobe PDF(524Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/11/23 |
| 基于增量可满足性的等价性检验方法 期刊论文
计算机学报, 2004, 卷号: 27.0, 期号: 010, 页码: 1388
作者: 李光辉; 李晓维
收藏 | 浏览/下载：10/0 | 提交时间：2023/12/04
增量可满足性 等价性检验 组合电路 形式验证 数字集成电路 等价结点 |
| 一个适于形式验证的ATPG引擎 期刊论文
计算机研究与发展, 2004, 卷号: 41.0, 期号: 005, 页码: 886
作者: 李光辉; 邵明; 李晓维
收藏 | 浏览/下载：10/0 | 提交时间：2023/12/04
组合电路 测试产生 形式验证 二叉判决图 布尔可满足性 |
| 基于BDD的组合电路等价性检验方法 期刊论文
微电子学与计算机, 2003, 卷号: 20.0, 期号: 002, 页码: 48
作者: 李光辉; 邵明; 李晓维
收藏 | 浏览/下载：10/0 | 提交时间：2023/12/04
BDD 形式验证 等价性检验 符号模拟 三叉判决图 组合电路 专用集成电路 |
