智能化软件开发团队2022级博士生武小倩的论文“An Area Optimization Approach for Large-Scale RM-TB Dual Logic Circuits Based on a Multitasking Optimization Algorithm”被计算机体系结构领域顶级期刊IEEE Transactions on Computers（TC）录用。论文第一作者为2022级博士生武小倩，通讯作者为刘华虓副教授，导师为刘磊教授，其他作者还包括2023级硕士生王鹏、2022级硕士生李少泉。
逻辑综合是集成电路设计中的关键步骤，而面积优化则是其中不可或缺的环节。然而，大规模固定极性Reed-Muller逻辑电路的面积优化是一个NP-hard问题。为此，该论文基于分治思想提出一种分组分解机制，将大规模电路进行分区。为保证电路功能完整性，提出一种Fixed Polarity Reed-Muller and Boolean (RM-TB) 双逻辑新范式，并通过门级集成方法构建RM-TB双逻辑电路。RM-TB双逻辑电路面积优化具有多任务、高纬度和多极值的组合优化特性。为此，该论文提出多种群多任务优化算法，该算法融合自我进化机制与多任务均衡优化器，通过知识共享和迁移实现跨任务协同演化，构建了面向RM-TB双逻辑电路对应最小面积极性搜索的动态优化框架。实验结果表明，与现有面积优化方法相比，基于多种群多任务优化算法的RM-TB双逻辑电路面积优化方法在优化效果和性能指标上均展现出显著优势。
IEEE Transactions on Computers（TC）是计算机体系结构领域国际顶级期刊，为CCF推荐A类期刊。
