荆明娥 张建胜 陈苑锋 来金梅 陆伟成 谭聪 周电 赵长虹

可测性设计 结构评估 相位锁定环 SAT解答器 Wiener滤波器 形式验证 现场可编程门阵列器件评估 集成电路测试

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