荆明娥 张建胜 陈苑锋 来金梅 陆伟成 谭聪 周电 赵长虹 卜海祥 陈更生 黄伟 谢波 黄植希 曾璇 童家榕 黄维康 张鹏

可测性设计 结构评估 相位锁定环 SAT解答器 Wiener滤波器 形式验证 现场可编程门阵列器件评估 集成电路测试 半导体技术 可满足性问题 内建自测试 延迟锁相环 最坏情况分析 线性反馈移位寄存器 现场可编程门阵列 正交子句 延迟链 计算机辅助设计 开路故障 波形比较 通用现场可编程门阵列软件 NP完全问题 卡诺图

复旦大学专用集成电路与系统国家重点实验室 复旦大学专用集成电路国家重点实验室 英特尔技术开发（上海）有限公司快闪存储器...