Describir: Síntesis automática y evaluación de performance de un circuito digital de complejidad media