A methodology for the synthesis to logical netlist of an ASIC - Gurdián-Murillo, Mauricio (M. Guardián-M., 2017)