韩志刚 刘彦松 吕宗伟 张镭 周海峰 白建军 王彬 周开伦 韦虎 白宁 曹炜 卢君明 罗春桥 尹国丽 杨刚 周一新 申旦 林涛 冯晖 杨大宇

敏化 分段线性近似 子块分组 基于事务的形式验证 电子设计自动化 梳状滤波器 测试生成 建立时间约束 时序电路 半带滤波器 数据流图 时序重排 触发器阵列 扫描顺序 对称变量 硬件描述语言 大规模集成电路 参考像素集 歧义语句 高层综合 调度 规范符号编码 计算机辅助设计 连线分割 表达式 多芯片组件 故障诊断 语法分析 算法 渐进波形评估法

上海交通大学电子工程系 上海交通大学大规模集成电路研究所 上海交通大学电子信息与电气工程学院 同济大学大规模集成电路研究所