|
已选(0)清除
条数/页： 排序方式： |
| 无权访问的条目 期刊论文
作者: 沈海华
 Adobe PDF(308Kb) |  收藏 | 浏览/下载：0/0 | 提交时间：2012/05/22 |
| 基于2D Cache结构的H.264运动补偿访存带宽优化方法 期刊论文
计算机研究与发展, 2012, 卷号: 49.0, 期号: 1.0, 页码: 55
作者: 汪文祥; 张广飞; 沈海华
收藏 | 浏览/下载：10/0 | 提交时间：2023/12/04
2DCache SDRAM H.264/AVC 运动补偿 带宽优化 |
| 超大规模集成电路可调试性设计综述 期刊论文
计算机研究与发展, 2012, 卷号: 49.0, 期号: 1.0, 页码: 21
作者: 钱诚; 沈海华; 陈天石; 陈云霁
收藏 | 浏览/下载：10/0 | 提交时间：2023/12/04
调试 验证 硅后验证 并行程序调试 可调试性设计 |
| 无权访问的条目 期刊论文
作者: 沈海华; 卫文丽; 陈云霁
Adobe PDF(1259Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/11/05 |
| 无权访问的条目 期刊论文
作者: 沈海华; 王朋宇; 卫文丽; 郭 崎
Adobe PDF(1572Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/09/29 |
| 覆盖率驱动的随机测试生成技术综述 期刊论文
计算机辅助设计与图形学学报, 2009, 卷号: 000, 期号: 004, 页码: 419
作者: 沈海华; 卫文丽; 陈云霁
收藏 | 浏览/下载：10/0 | 提交时间：2023/12/04
验证 VLSI 随机测试生成 覆盖率驱动的测试生成 |
| 无权访问的条目 期刊论文
作者: 陈云霁; 张健; 沈海华; 胡伟武
Adobe PDF(413Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/10/21 |
| 一种基于SAT的运算电路查错方法 期刊论文
计算机学报, 2007, 卷号: 30.0, 期号: 012, 页码: 2082
作者: 陈云霁; 张健; 沈海华; 胡伟武
收藏 | 浏览/下载：10/0 | 提交时间：2023/12/04
形式验证 模型检验 SAT E—CNF 标志子句 |
| 无权访问的条目 期刊论文
作者: 张 珩; 沈海华
Adobe PDF(310Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/10/15 |
| 无权访问的条目 期刊论文
作者: 陈云霁; 马 麟; 沈海华; 胡伟武
Adobe PDF(514Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/10/15 |
