顾伟康 陈偕雄 杜歆 丁蒋霖 练益群 朱敏 肖林荣

一位全加器 自反函数 表格法 冗余函数 表格 表格方法 布尔减 实时 逻辑函数 布尔减-异或代数系统 通用阈值逻辑门 计算机辅助综合 逻辑综合 函数分类 对称函数 规范展开式 IA架构 部分对称函数 对称性检测 特殊逻辑函数 旋转对称函数 对称函数检测 线性函数 通用逻辑门 优化 自双反函数 布尔除 计算机辅助设计 视差 布尔除-符合代数系统

浙江杭州 浙江大学网络与信息中心 浙江大学信息与电子工程系 浙江杭州310028嘉兴学院电气工程系浙... 浙江大学信息与电子工程学系