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

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