Barreto Alvarez JZ. Síntesis automática de circuitos digitales con restricciones de potencia. Innint. 2025;2(3):56-75. doi:10.70577/cn9jyt30