Optimización de circuitos lógicos utilizando las herramientas de síntesis de Synopsys - Arias Muñoz, Johan (2005)