我国芯片进口额多年来超过石油，关系到国家安全和经济发展。集成电路设计自 动化（EDA）工具是电子产业最上游、最高端的产业，驱动芯片设计、制造、终端应 用。被誉为“芯片产业皇冠上的明珠”，当前“最受制于人”。团队结合传统布尔逻辑、 REED-MULLER 逻辑和 Majority 逻辑开展了多逻辑域的综合优化和工艺映射核心算 法研究，提出了多逻辑域的统一表示方法和高效逻辑代数系统，突破了单一逻辑域在 芯片性能、功耗、面积 (PPA) 方面的优化局限。当前所研究的工具原型在若干平台开源， 受到了国内外产业界和学术界的广泛关注。目前合作的企业包括国内头部 IC 设计公司、 华大九天、鸿芯微纳、紫光同创等。

宁波大学 EDA 研究团队对数字电路 EDA 研究已有 20 余年历史，夏银水教授、 王伦耀教授等团队拥有博硕士研究生 30 余人，近年来承担了国家自然科学基金重点项 目和企事业委托课题多项，荣获宁波市科技进步一等奖 2 次。