blob: 311d76795e4571c1202d65096623d1f93fb37199 [file] [log] [blame]
read_verilog synth_gates.v
read_verilog ../../picorv32.v
hierarchy -top top
proc; flatten
synth
dfflibmap -prepare -liberty synth_gates.lib
abc -dff -liberty synth_gates.lib
dfflibmap -liberty synth_gates.lib
stat
write_blif synth_gates.blif