Síntesis combinatoria: mejores resultados de mapeo tecnológico

Usando el siguiente script, estoy sintetizando una biblioteca celular estándar para la cual tengo un archivo lib,my_library.lib: read_liberty -lib my_library.lib script yosys_readfiles.ys proc; opt; memory; opt; fsm -norecode; opt techmap; opt ...