翁延玲 陈偕雄 徐鸿明 郑飞君 何乐年 严晓浪 罗小华 孟建熠 阳晔 刘观生 李训根 黄凯 刘纯悦 何剑春 陆思安 杨军 游海亮 刘坤杰 游海量 卢永江

综合 电路简化 模型检验 代码压缩 指令回收 混合SAT求解器 扫描链 固定点 二维存储系统 转译缓存 目标模拟 VLSI互连线 测试 π型RLC模型 双核系统芯片 片上系统 存储单元 门级电路 动态随机存储器（DRAM） 局部二叉判决图 电源地分配网络 视频处理 域划分 Kripke结构 霍夫曼编码 时间域压缩 信号完整性 循环分支折合 中央处理器 标记

浙江大学超大规模集成电路研究所 浙江大学超大规模集成电路设计研究所 浙江杭州 浙江大学电气学院 浙江大学电气工程学院 浙江大学信息与电子工程系