yosys/tests/techmap/booth_map_script.ys_