贾艳明 王习仁 蔡懿慈 王泽毅 于敦山 陈云霁 张镭 李暾 傅静静 李思昆 肖继学 盛世敏 李斐 李晓维 唐璞山 王玉刚 徐君 唐茂林 张雷 曹喜信 边计年 洪先龙 郭阳 陆涛涛 沈海华 钟燕清 陈光 彭春干 刘大为 蒋国强

最大功耗 边界元素法 随机测试生成 数据通路 有限状态机 线性规划 覆盖率驱动的测试生成 化学机械抛光 性能优化 时延驱动 三维电容提取 故障 通道区 布图设计 冗余金属填充 优化 边界元划分 3D互连寄生电容 静态时延分析 去耦合电容 密度平滑 关键线网 Verilog程序切片 布局 电容提取 设计流程 电源地线网络 测试生成 约束逻辑编程 设计方法论