diff options
author | Clifford Wolf <clifford@clifford.at> | 2015-09-12 14:02:23 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2015-09-12 14:02:23 +0200 |
commit | 00844092ee97ea69fc9d2e410dc80d148c8291c4 (patch) | |
tree | e427ef89b14cf1ab67dcdb98ad973015b2b51810 /scripts/yosys/synth_gates.ys | |
parent | 686289adc5ed421fa116e0a695cdc43c746c8539 (diff) | |
download | picorv32-00844092ee97ea69fc9d2e410dc80d148c8291c4.tar.gz picorv32-00844092ee97ea69fc9d2e410dc80d148c8291c4.zip |
Added scripts/yosys/synth_gates
Diffstat (limited to 'scripts/yosys/synth_gates.ys')
-rw-r--r-- | scripts/yosys/synth_gates.ys | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/scripts/yosys/synth_gates.ys b/scripts/yosys/synth_gates.ys new file mode 100644 index 0000000..311d767 --- /dev/null +++ b/scripts/yosys/synth_gates.ys @@ -0,0 +1,14 @@ +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 |