15 lines
246 B
Plaintext
15 lines
246 B
Plaintext
|
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
|