saji/yosys4gal
1
0
Fork 0
mirror of https://github.com/annoyatron255/yosys4gal.git synced 2024-12-22 10:42:24 +00:00
Code Issues Packages Projects Releases Wiki Activity

Cleanup

Browse source
This commit is contained in:
annoyatron255 2024-04-04 18:08:40 -05:00
parent f565bf576d
commit 2d6fe23577
No known key found for this signature in database
GPG key ID: 95283811BE4E93F8
1 changed files with 16 additions and 24 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

40
synth_gal.tcl
View file

@ -1,18 +1,8 @@
#!/usr/bin/env -S yosys -c #!/usr/bin/env -S yosys -c
yosys -import yosys -import
set target "GAL16V8" ## Check arguments
if { $argc != 1 && $argc != 2 } {
if {$target == "GAL16V8"} {
set num_max_products 7
} elseif {$target == "GAL22V10"} {
set num_max_products 11
} else {
puts "Invalid target chip"
exit
}
if { $argc != 1 } {
puts "USAGE: $argv0 -- <VERILOG FILE>" puts "USAGE: $argv0 -- <VERILOG FILE>"
exit exit
} }
@ -23,6 +13,17 @@ puts $fbasename
exec rm -rf output exec rm -rf output
exec mkdir output exec mkdir output
## Set target chip (default to GAL16V8)
set target [expr {$argc == 2 ? [lindex $argv 1] : "GAL16V8"}]
if {$target == "GAL16V8"} {
set num_max_products 7
} elseif {$target == "GAL22V10"} {
set num_max_products 11
} else {
puts "Invalid target chip: GAL16V8 and GAL22V10 available"
exit
}
## Read Verilog/Liberty file ## Read Verilog/Liberty file
read_verilog [lindex $argv 0] read_verilog [lindex $argv 0]
hierarchy -auto-top hierarchy -auto-top
@ -47,8 +48,6 @@ set num_regs [regexp -inline {\d+} [tee -s result.string select -count t:DFF_P]]
set num_inputs_regs [expr $num_inputs + $num_regs] set num_inputs_regs [expr $num_inputs + $num_regs]
if {$num_regs > 0} { set num_inputs_regs [expr $num_inputs_regs - 1] } if {$num_regs > 0} { set num_inputs_regs [expr $num_inputs_regs - 1] }
#abc -sop -I $num_inputs_regs -P 256
#abc -sop -I 8 -P 8
#abc -script "+strash;,dretime;,collapse;,write_pla,test.pla" -sop #abc -script "+strash;,dretime;,collapse;,write_pla,test.pla" -sop
# Force one-level SOP # Force one-level SOP
#abc -script "abc.script" -sop #abc -script "abc.script" -sop
@ -60,14 +59,11 @@ if {$num_regs > 0} { set num_inputs_regs [expr $num_inputs_regs - 1] }
#techmap #techmap
#select * #select *
#abc -sop -I 100 -P $num_max_products
abc -sop -I $num_inputs_regs -P $num_max_products abc -sop -I $num_inputs_regs -P $num_max_products
opt opt
clean -purge clean -purge
#show -width
## Tech mapping ## Tech mapping
# PLAs # PLAs
techmap -map techmaps/pla.v -D PLA_MAX_PRODUCTS=$num_max_products techmap -map techmaps/pla.v -D PLA_MAX_PRODUCTS=$num_max_products
@ -88,12 +84,9 @@ techmap -map techmaps/olmc_comb.v
clean -purge clean -purge
## Write output files and graph ## Write output files
write_verilog "output/synth_${fbasename}.v" write_verilog "output/synth_${fbasename}.v"
write_json "output/synth_${fbasename}.json" write_json "output/synth_${fbasename}.json"
write_table "output/synth_${fbasename}.txt"
write_blif "output/synth_${fbasename}.blif"
write_rtlil "output/synth_${fbasename}.rtlil"
## Verify equivalence ## Verify equivalence
# Backup and make gold and gate modules # Backup and make gold and gate modules
@ -102,7 +95,7 @@ design -copy-from preop -as gold A:top
design -copy-from postop -as gate A:top design -copy-from postop -as gate A:top
# Inverse tech map into primatives # Inverse tech map into primatives
techmap -autoproc -map cells_sim.v -autoproc techmap -autoproc -map cells_sim.v
clean -purge clean -purge
# Verify # Verify
@ -117,9 +110,8 @@ ltp -noff
# Restore backup # Restore backup
design -load postop design -load postop
## Print final stats ## Print final stats and show graph
show -width -signed -enum show -width -signed -enum
stat stat
shell shell