已选(0)清除
条数/页: 排序方式: |
| 无权访问的条目 期刊论文 作者: 沈海华; 卫文丽; 陈云霁 Adobe PDF(1259Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/11/05 |
| 无权访问的条目 期刊论文 作者: 沈海华; 王朋宇; 卫文丽; 郭 崎 Adobe PDF(1572Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/09/29 |
| 覆盖率驱动的随机测试生成技术综述 期刊论文 计算机辅助设计与图形学学报, 2009, 卷号: 000, 期号: 004, 页码: 419 作者: 沈海华; 卫文丽; 陈云霁 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 验证 VLSI 随机测试生成 覆盖率驱动的测试生成 |
| 无权访问的条目 期刊论文 作者: 陈云霁; 张健; 沈海华; 胡伟武 Adobe PDF(413Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/10/21 |
| 一种基于SAT的运算电路查错方法 期刊论文 计算机学报, 2007, 卷号: 30.0, 期号: 012, 页码: 2082 作者: 陈云霁; 张健; 沈海华; 胡伟武 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 形式验证 模型检验 SAT E—CNF 标志子句 |
| 无权访问的条目 期刊论文 作者: 陈云霁; 马 麟; 沈海华; 胡伟武 Adobe PDF(514Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/10/15 |
| 龙芯2号微处理器浮点除法功能部件的形式验证 期刊论文 计算机研究与发展, 2006, 卷号: 43, 期号: 10, 页码: 1835 作者: 陈云霁; 马麟; 沈海华; 胡伟武 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 形式验证 字级模型检验 有界模型检验 |