李晓维 胡瑜 闵应骅 吕涛 宫云战 骆祖莹 高秀峰 李忠诚 孙钟林 赵阳 张颖 徐勇军 刘领一 靳萌 张磊 方红霞 晋民杰 李改全 高杰 张旻晋 牛文成 范小鑫 陈立云 张月 王顺坤 俞梅 韩银和 裴颂伟

CMOS 时延故障 片上网络 指令集 静态时序分析 向量冗余 最大可满足问题 软件自测试 脱附时间 扫描测试 随机走动 自动化测试激励生成 增强型扫描 集成电路测试 功耗敏感性 跳变时延故障 检错纠错 数据通路 测试生成 实速测试 系统芯片 HSGFET 时间参数 吸附时间 模拟验证 信号置1概率 测试调度 HLA 布尔可满足性问题 测试功耗

中国科学院计算机系统结构重点实验室 中国科学院研究生院 中国科学院计算技术研究所信息网络研究室 中国科学院计算技术研究所 中国科学院计算技术研究所信息网络室 清华大学自动化系 中国科学院计算技术研究所CAD开放研究实... 中国科学院计算技术研究所先进测试技术实验...