hierarchy_nokeep_asserts.ys 95 Bytes
Newer Older
1 2 3 4
read_verilog ../top.v
hierarchy -nokeep_asserts -top top
synth -top top
write_verilog synth.v