边计年 眭跃飞 凌云 王秀芹 郭炳晖 金人超 张再跃 吕帅 黄文奇 黄智生 陈火旺 施伯乐 朱大铭 韦卫 王勋 郑志明 邓澍军 刘万伟 李莹 张平平 吴海燕 马光胜 王昊 史晶晶 施鸿宝 江鸿 王戟 吴为民 李科 高济

性质检验 SHOIND) 可满足性模理论 电路结构 公理 过滤子句 公理系统 Tableau 时间复杂性 并行计算 拟物法 连接依赖 局部搜索 形式验证 拟人法 算法设计 合取子句 可观无关性 控制唯一性 析取范式 D公理 阈值估计 顺序连接 模型检验 约束满足问题 寄存器传输级 时序逻辑 基于可满足性的规划 编码方式 数据通路