旻晋张., “数字电路双逻辑综合关键技术研究”, HJFZ, vol. 6, no. 2, May 2024.