管致锦 董海瀛 历晓华 王月香 何中礼 徐红英 赵美玲 程旭 章旌红 伍银儿 王成艳 肖林荣 刘维富 马瑶 刘波粒 龚敏 邱建林 翁延玲 朱敏 崔守真 吕宗伟 任洪波 周畅 庄镇泉 厉晓华 陈冠军 刘丹单 张镭 邬齐荣 王逵

LSI 可观测无关项 可测性设计 智能CAD 允许函数 时序分析 转换矩阵 开关电路理论 可观测性无关项 重聚路径 数字系统CAD 逆矩阵 通用逻辑门 等价性验证 双重形式的Reed-Muller 优越性 低功耗 变换化简法 Kronecker展开式 逻辑组件 门控时钟 操作数隔离 计算机辅助综合 面积优化 门级功率优化 通用阈值逻辑门 二进制数 设计自动化 逻辑优化 一位全加器