Síntese combinatória: melhores resultados de mapeamento de tecnologia

Usando o script a seguir, estou sintetizando em uma biblioteca de células padrão para a qual tenho um arquivo lib,my_library.lib: read_liberty -lib my_library.lib script yosys_readfiles.ys proc; opt; memory; opt; fsm -norecode; opt techmap; opt ...