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