团队提出了基于传统 Boolean/Reed-Muller/Majority 逻辑的多逻辑域图形化逻 辑函数表示方法 XOR-Majority Graph (XMG)，建立了多逻辑域逻辑代数系统，提 出了 XMG 面向性能、功耗和面积的优化规则，以及基于 XMG 的工艺映射技术，在 FPGA、ASIC 和纳米电路设计中应用。突破单一逻辑域能耗优化的局限性，形成逻辑综合工具原型 ALSO。团队与华为、华为海思、鸿芯微纳、紫光同创合作了 9 项技术研发项目，其中 6 项通过技术交付、企业内部测试达成了研发目标，相关核心算法和设计思想被吸收到自研工具中，支撑了鸿芯微纳在 2022 年底推出首款国产逻辑综合工具 RocSyn® —版图 驱动的逻辑综合工具。