张会凌 杨伟民 朱晓波 魏贵民 王式敦 陈宁 邹辉 杨忠明 王冬 李志强 王书达 安博 郁国瑞 王恩亮 李民 陈汉武 宝贵荣 冯博琴 吴恒玉 李鸿恩 宝金 郑光华 黄喻 韦永梅 叶芯 韦宁 王德源 郭爱平

坐标 数理逻辑 小项 范式 大项 机械判定 计算机计算和输出 卡诺图 检测算法 对换 译码器 循环码 推演法 规则优化 永真式、永假式和可满足式 全功能联结词集合 函数式 异步通讯接口 控制线路 地址 教学 Pileatus工具 测试生成 时序 分析解 更改判定条件覆盖 同步时序电路 模态词 极小项 可逆逻辑综合