周电 陈建 华林 唐璞山 章倩苓 郭正 朱珂 赵长虹 荆明娥 孙劼 鲁则瑜

局部搜索 算术编码 测试兼容图 SAT问题 内容模型 布图规划 完全算法 小波变换 JPEG2000 嵌入式延拓 有限精度分析 变量决策 零树 权重 热点 测试规划 系统级芯片

复旦大学专用集成电路与系统国家重点实验室 复旦大学专用集成电路与系统国家重点实验室... 复旦大学专用集成电路国家重点实验室