当前位置：数字出版物超市 >> 学者知网节 >> 承担国家项目资助发文
共有记录13条
序号 题名 作者 文献来源 发表年份 被引频次 下载频次
1 RTL验证中的混合可满足性求解 邓澍军;吴为民;边计年; 第四届中国测试学术会议 2006 0 9
2 一种有效的低功耗扫描测试结构——PowerCut 王伟;韩银和;胡瑜;李晓维;张佑生; 计算机研究与发展 2007 0 45
3 用于片上网络的容错通信算法 张磊;李华伟;李晓维; 计算机辅助设计与图形学学报 2007 2 122
4 RTL验证中的混合可满足性求解 邓澍军;吴为民;边计年; 计算机辅助设计与图形学学报 2007 2 42
5 采用片内PLL实现实速扫描测试的方案 范小鑫;李华伟;胡瑜;李晓维; 计算机辅助设计与图形学学报 2007 1 39
6 结合ATPG和SAT的无界模型检验前像计算方法 刘领一;赵阳;吕涛;李华伟;李晓维; 计算机辅助设计与图形学学报 2007 0 36
7 基于响应分块相容的测试数据编码压缩方案 叶益群;梁华国;詹凯华; 计算机辅助设计与图形学学报 2008 0 24
8 一种共前缀码的测试数据压缩方案 詹文法;梁华国;时峰;黄正峰;欧阳一鸣; 系统仿真学报 2008 0 9
9 Design-for-Testability Features and Test Implementation of a Giga Hertz General Purpose Microprocessor 王达;胡瑜;李华伟;李晓维; Journal of Computer Science & Technology 2008 0 12
10 Fault Tolerance Mechanism in Chip Many-Core Processors 张磊;韩银和;李华伟;李晓维; Tsinghua Science and Technology 2007 0 12
11 面向最大串扰噪声的测试生成方法 张旻晋;李华伟;李晓维; 计算机辅助设计与图形学学报 2009 0 22
12 SoC总线串扰的精简MT测试集 张颖;李华伟;李晓维;胡瑜; 计算机辅助设计与图形学学报 2009 0 16
13 基于CLP模型的HDL设计可观测性分析 赵阳;吕涛;李华伟;李晓维; 计算机辅助设计与图形学学报 2009 0 12