mirror of https://github.com/openXC7/prjxray.git
rempips: try a few times to solve on failures
Signed-off-by: John McMaster <johndmcmaster@gmail.com>
This commit is contained in:
John McMaster
parent
c68ee2f004
commit
b8840ae9ff
|
|
@ -1,60 +1,108 @@
|
||||||
source "$::env(XRAY_DIR)/utils/utils.tcl"
|
source "$::env(XRAY_DIR)/utils/utils.tcl"
|
||||||
|
|
||||||
create_project -force -part $::env(XRAY_PART) design design
|
proc build_basic {} {
|
||||||
|
create_project -force -part $::env(XRAY_PART) design design
|
||||||
|
|
||||||
read_verilog $::env(FUZDIR)/top.v
|
read_verilog $::env(FUZDIR)/top.v
|
||||||
synth_design -top top
|
synth_design -top top
|
||||||
|
|
||||||
set_property -dict "PACKAGE_PIN $::env(XRAY_PIN_00) IOSTANDARD LVCMOS33" [get_ports i]
|
set_property -dict "PACKAGE_PIN $::env(XRAY_PIN_00) IOSTANDARD LVCMOS33" [get_ports i]
|
||||||
set_property -dict "PACKAGE_PIN $::env(XRAY_PIN_01) IOSTANDARD LVCMOS33" [get_ports o]
|
set_property -dict "PACKAGE_PIN $::env(XRAY_PIN_01) IOSTANDARD LVCMOS33" [get_ports o]
|
||||||
|
|
||||||
create_pblock roi
|
create_pblock roi
|
||||||
resize_pblock [get_pblocks roi] -add "$::env(XRAY_ROI)"
|
resize_pblock [get_pblocks roi] -add "$::env(XRAY_ROI)"
|
||||||
|
|
||||||
set_property CFGBVS VCCO [current_design]
|
set_property CFGBVS VCCO [current_design]
|
||||||
set_property CONFIG_VOLTAGE 3.3 [current_design]
|
set_property CONFIG_VOLTAGE 3.3 [current_design]
|
||||||
set_property BITSTREAM.GENERAL.PERFRAMECRC YES [current_design]
|
set_property BITSTREAM.GENERAL.PERFRAMECRC YES [current_design]
|
||||||
set_param tcl.collectionResultDisplayLimit 0
|
set_param tcl.collectionResultDisplayLimit 0
|
||||||
|
|
||||||
place_design
|
place_design
|
||||||
route_design
|
route_design
|
||||||
|
|
||||||
# write_checkpoint -force design.dcp
|
|
||||||
|
|
||||||
set fp [open "../../todo.txt" r]
|
|
||||||
set todo_lines {}
|
|
||||||
for {gets $fp line} {$line != ""} {gets $fp line} {
|
|
||||||
lappend todo_lines [split $line .]
|
|
||||||
}
|
}
|
||||||
close $fp
|
|
||||||
|
|
||||||
set int_l_tiles [randsample_list [llength $todo_lines] [filter [pblock_tiles roi] {TYPE == INT_L}]]
|
proc load_todo {} {
|
||||||
set int_r_tiles [randsample_list [llength $todo_lines] [filter [pblock_tiles roi] {TYPE == INT_R}]]
|
set fp [open "../../todo.txt" r]
|
||||||
|
set todo_lines {}
|
||||||
|
for {gets $fp line} {$line != ""} {gets $fp line} {
|
||||||
|
lappend todo_lines [split $line .]
|
||||||
|
}
|
||||||
|
close $fp
|
||||||
|
return $todo_lines
|
||||||
|
}
|
||||||
|
|
||||||
for {set idx 0} {$idx < [llength $todo_lines]} {incr idx} {
|
proc lremove { l val } {
|
||||||
set line [lindex $todo_lines $idx]
|
set idx [lsearch $l $val]
|
||||||
puts "== $idx: $line"
|
return [lreplace $l $idx $idx]
|
||||||
|
}
|
||||||
|
|
||||||
set tile_type [lindex $line 0]
|
proc route_todo {} {
|
||||||
set dst_wire [lindex $line 1]
|
set todo_lines [load_todo]
|
||||||
set src_wire [lindex $line 2]
|
set int_l_tiles [filter [pblock_tiles roi] {TYPE == INT_L}]
|
||||||
|
set int_r_tiles [filter [pblock_tiles roi] {TYPE == INT_R}]
|
||||||
|
|
||||||
if {$tile_type == "INT_L"} {set tile [lindex $int_l_tiles $idx]; set other_tile [lindex $int_r_tiles $idx]}
|
for {set idx 0} {$idx < [llength $todo_lines]} {incr idx} {
|
||||||
if {$tile_type == "INT_R"} {set tile [lindex $int_r_tiles $idx]; set other_tile [lindex $int_l_tiles $idx]}
|
set line [lindex $todo_lines $idx]
|
||||||
|
puts ""
|
||||||
|
puts ""
|
||||||
|
puts "== $idx: $line"
|
||||||
|
set tile_type [lindex $line 0]
|
||||||
|
set dst_wire [lindex $line 1]
|
||||||
|
set src_wire [lindex $line 2]
|
||||||
|
|
||||||
puts "PIP Tile: $tile"
|
set mylut [create_cell -reference LUT1 mylut_$idx]
|
||||||
|
set mynet [create_net mynet_$idx]
|
||||||
|
connect_net -net $mynet -objects "$mylut/I0 $mylut/O"
|
||||||
|
|
||||||
set driver_site [get_sites -of_objects [get_site_pins -of_objects [get_nodes -downhill \
|
set tries 0
|
||||||
-of_objects [get_nodes -of_objects [get_wires $other_tile/CLK*0]]]]]
|
while {1} {
|
||||||
|
incr tries
|
||||||
|
|
||||||
puts "LUT Tile (Site): $other_tile ($driver_site)"
|
puts ""
|
||||||
|
puts "$mynet: try $tries"
|
||||||
|
if {$tile_type == "INT_L"} {
|
||||||
|
set tile [randsample_list 1 $int_l_tiles]
|
||||||
|
set int_l_tiles [lremove $int_l_tiles $tile]
|
||||||
|
set other_tile [randsample_list 1 $int_r_tiles]
|
||||||
|
set int_r_tiles [lremove $int_r_tiles $other_tile]
|
||||||
|
} elseif {$tile_type == "INT_R"} {
|
||||||
|
set tile [randsample_list 1 $int_r_tiles]
|
||||||
|
set int_r_tiles [lremove $int_r_tiles $tile]
|
||||||
|
set other_tile [randsample_list 1 $int_l_tiles]
|
||||||
|
set int_l_tiles [lremove $int_l_tiles $other_tile]
|
||||||
|
} else {
|
||||||
|
error "Bad tile type $tile_type"
|
||||||
|
}
|
||||||
|
puts "PIP Tile: $tile, LUT tile: $other_tile"
|
||||||
|
|
||||||
set mylut [create_cell -reference LUT1 mylut_$idx]
|
set driver_site [get_sites -of_objects [get_site_pins -of_objects [get_nodes -downhill \
|
||||||
set_property -dict "LOC $driver_site BEL A6LUT" $mylut
|
-of_objects [get_nodes -of_objects [get_wires $other_tile/CLK*0]]]]]
|
||||||
|
puts "LUT site: $driver_site"
|
||||||
|
set_property -dict "LOC $driver_site BEL A6LUT" $mylut
|
||||||
|
|
||||||
set mynet [create_net mynet_$idx]
|
set route_list "$tile/$src_wire $tile/$dst_wire"
|
||||||
connect_net -net $mynet -objects "$mylut/I0 $mylut/O"
|
puts "route_via $mynet $route_list"
|
||||||
route_via $mynet "$tile/$src_wire $tile/$dst_wire"
|
set rc [route_via $mynet $route_list 0]
|
||||||
|
if {$rc != 0} {
|
||||||
|
break
|
||||||
|
}
|
||||||
|
|
||||||
|
puts "WARNING: failed to route net"
|
||||||
|
write_checkpoint -force route_todo_$idx.$tries.fail.dcp
|
||||||
|
# sometimes it gets stuck in specific orientations
|
||||||
|
if {$tries >= 3} {
|
||||||
|
puts "WARNING: to route net after $tries tries"
|
||||||
|
continue
|
||||||
|
}
|
||||||
|
|
||||||
|
# Roll back
|
||||||
|
puts "Rolling back route"
|
||||||
|
set_property is_route_fixed 0 $mynet
|
||||||
|
set_property is_bel_fixed 0 $mylut
|
||||||
|
set_property is_loc_fixed 1 $mylut
|
||||||
|
route_design -unroute -nets $mynet
|
||||||
|
}
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
proc write_txtdata {filename} {
|
proc write_txtdata {filename} {
|
||||||
|
|
@ -76,11 +124,17 @@ proc write_txtdata {filename} {
|
||||||
close $fp
|
close $fp
|
||||||
}
|
}
|
||||||
|
|
||||||
route_design
|
proc run {} {
|
||||||
|
build_basic
|
||||||
|
route_todo
|
||||||
|
route_design
|
||||||
|
|
||||||
# Ex: ERROR: [DRC RTSTAT-5] Partial antennas: 1 net(s) have a partial antenna. The problem bus(es) and/or net(s) are mynet_2.
|
# Ex: ERROR: [DRC RTSTAT-5] Partial antennas: 1 net(s) have a partial antenna. The problem bus(es) and/or net(s) are mynet_2.
|
||||||
# set_property IS_ENABLED 0 [get_drc_checks {RTSTAT-5}]
|
# set_property IS_ENABLED 0 [get_drc_checks {RTSTAT-5}]
|
||||||
|
|
||||||
write_checkpoint -force design.dcp
|
write_checkpoint -force design.dcp
|
||||||
write_bitstream -force design.bit
|
write_bitstream -force design.bit
|
||||||
write_txtdata design.txt
|
write_txtdata design.txt
|
||||||
|
}
|
||||||
|
|
||||||
|
run
|
||||||
|
|
|
||||||
|
|
@ -1,4 +1,4 @@
|
||||||
proc route_via {net nodes} {
|
proc route_via { net nodes {assert 1} } {
|
||||||
# Route a simple source to dest net via one or more intermediate nodes
|
# Route a simple source to dest net via one or more intermediate nodes
|
||||||
# the nodes do not have have to be directly reachable from each other
|
# the nodes do not have have to be directly reachable from each other
|
||||||
# net: net name string
|
# net: net name string
|
||||||
|
|
@ -12,7 +12,6 @@ proc route_via {net nodes} {
|
||||||
# Implicit end node. Route it at the end
|
# Implicit end node. Route it at the end
|
||||||
lappend nodes [get_nodes -of_objects [get_site_pins -filter {DIRECTION == IN} -of_objects $net]]
|
lappend nodes [get_nodes -of_objects [get_site_pins -filter {DIRECTION == IN} -of_objects $net]]
|
||||||
|
|
||||||
puts ""
|
|
||||||
puts "Routing net $net:"
|
puts "Routing net $net:"
|
||||||
|
|
||||||
foreach to_node $nodes {
|
foreach to_node $nodes {
|
||||||
|
|
@ -21,12 +20,13 @@ proc route_via {net nodes} {
|
||||||
# Start at the last point
|
# Start at the last point
|
||||||
set from_node [lindex $fixed_route end]
|
set from_node [lindex $fixed_route end]
|
||||||
# Make vivado do the hard work
|
# Make vivado do the hard work
|
||||||
|
puts " set route \[find_routing_path -quiet -from $from_node -to $to_node\]"
|
||||||
set route [find_routing_path -quiet -from $from_node -to $to_node]
|
set route [find_routing_path -quiet -from $from_node -to $to_node]
|
||||||
# TODO: check for this
|
# TODO: check for this
|
||||||
if {$route == ""} {
|
if {$route == ""} {
|
||||||
# This can also happen if you try to route to a node already in the route
|
# This can also happen if you try to route to a node already in the route
|
||||||
if { [ lsearch $route $to_node ] >= 0 } {
|
if { [ lsearch $route $to_node ] >= 0 } {
|
||||||
puts "WARNING: route_via loop. $to_node is already in the path, ignoring"
|
puts " WARNING: route_via loop. $to_node is already in the path, ignoring"
|
||||||
} else {
|
} else {
|
||||||
puts " $from_node -> $to_node: no route found - assuming direct PIP"
|
puts " $from_node -> $to_node: no route found - assuming direct PIP"
|
||||||
lappend fixed_route $to_node
|
lappend fixed_route $to_node
|
||||||
|
|
@ -41,9 +41,11 @@ proc route_via {net nodes} {
|
||||||
# Earlier check should catch this now
|
# Earlier check should catch this now
|
||||||
set status [get_property ROUTE_STATUS $net]
|
set status [get_property ROUTE_STATUS $net]
|
||||||
if { $status != "ROUTED" } {
|
if { $status != "ROUTED" } {
|
||||||
error "failed to route net $net, status $status, route: $fixed_route"
|
puts " Failed to route net $net, status $status, route: $fixed_route"
|
||||||
# maybe warn and fail?
|
if { $assert } {
|
||||||
# return 0
|
error "Failed to route net"
|
||||||
|
}
|
||||||
|
return 0
|
||||||
}
|
}
|
||||||
|
|
||||||
set_property -quiet FIXED_ROUTE $fixed_route $net
|
set_property -quiet FIXED_ROUTE $fixed_route $net
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue