林争辉 陈志冲 边计年 李暾 郭阳 倪光南 杨波 梁磊 吴为民 周锦锋 高德远 刘明业 赵燕妮 沈绪榜 周海峰 李思昆 郑伟伟 邓澍军 高燕 郭书明 朱丹 沈理 罗旻

可满足性 性质检验 贪婪算法 测试用例 数据流 覆盖率分析 可满足性模理论 算术逻辑单元 形式验证 模型检验 约束满足问题 数据通路 智能化 模拟矢量自动生成 加权 故障模型 低功耗设计 超大规模集成电路 高层次综合 自动化系统 约束分解 结构式设计 集成电路 专家系统 设计自动化 线性规划 工艺映射 自动测试生成