旻晋张. 数字电路双逻辑综合关键技术研究. 环境与发展, v. 6, n. 2, 13 maio 2024.