read_liberty -nooverwrite ../lib.lib synth -top top write_verilog synth.v