tee -o result.log read_liberty ../lib.lib
write_verilog synth.v