read -formal ../top.v
hierarchy -top top
synth
write_verilog -noattr result.log