闵应骅 王伟 宫云战 李华伟 杨士元 朱小荣 林建京 骆祖莹 罗飞茵 胡瑜 陈宇川 张佑生 黄光燕 谢远江 李佳 高文玲 杨修涛 徐勇军 方红霞 谷春江 郑圆 王超楠 周强 张浩 雷韶华 张月 王飞 李光辉 张广梅 张伸

等价性检验 故障覆盖率 异或门展开 层次化设计方法 软件测试 集成电路测试 时延故障 HSPICE 故障执行概率 检测概率 无界模型检验 系统芯片 可靠性 时钟同步 粒子群优化算法 故障模拟 扫描切片 功能验证 随机走动 失效分析 布尔推理 形式验证 可观测性 傅里叶变换 增强型扫描 测试访问路径 程序调用图 无线传感器网络 众核芯片 内建自诊断

中国科学院计算机系统结构重点实验室 中国科学院计算技术研究所信息网络研究室 北京100080中国科学院研究生院北京 中国科学院计算技术研究所信息网络室 中国科学院研究生院 中国科学院计算技术研究所 中国科学院研究生院北京 清华大学自动化系