周冀春 林争辉 叶以正 杨萌 王志英 李勇 张义清 于磊 方昊 肖梓祥 陈芹 顾晖 赵庆哲 吴有亮 王逵 陆宏达 龙望宁 赵峰 高杰 薛宏熙 赵文庆 刘明业 温宇杰 白宁 王波 颜宗福 杨光 王芳雷 张镭 边计年

工艺映射 质项集 无冗余覆盖 布尔匹配 阵列合并 综合策略 流程 蕴涵项 控制器综合 VLSI 合并 冗余添加和删除技术 时延驱动算法 本源蕴涵项 布尔函数 集成电路计算机辅助设计 网表 FPGA 质蕴含项 直接序列扩频 消元 可替换线逻辑变换 Reed-Muller展开式 现场可编程门阵列 形式验证 或符合展开式 设计流程 Boole 覆盖 新进展

工艺映射