Análisis de Complejidad de Circuitos Lógicos Reversibles mediante Descomposición Funcional