| # Copyright (C) 2017-2020 The Project X-Ray Authors |
| # |
| # Use of this source code is governed by a ISC-style |
| # license that can be found in the LICENSE file or at |
| # https://opensource.org/licenses/ISC |
| # |
| # SPDX-License-Identifier: ISC |
| create_project -force -part $::env(XRAY_PART) design design |
| |
| read_verilog ../top.v |
| 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_01) IOSTANDARD LVCMOS33" [get_ports o] |
| |
| create_pblock roi |
| resize_pblock [get_pblocks roi] -add "$::env(XRAY_ROI)" |
| |
| set_property CFGBVS VCCO [current_design] |
| set_property CONFIG_VOLTAGE 3.3 [current_design] |
| set_property BITSTREAM.GENERAL.PERFRAMECRC YES [current_design] |
| |
| set_property CLOCK_DEDICATED_ROUTE FALSE [get_nets o_OBUF] |
| |
| place_design |
| route_design |
| |
| write_checkpoint -force design.dcp |
| |
| source ../../../utils/utils.tcl |
| |
| proc write_txtdata {filename} { |
| puts "Writing $filename." |
| set fp [open $filename w] |
| set all_pips [lsort -unique [get_pips -of_objects [get_nets -hierarchical]]] |
| if {$all_pips != {}} { |
| puts "Dumping pips." |
| foreach tile [get_tiles [regsub -all {CLBL[LM]} [get_tiles -of_objects [get_sites -of_objects [get_pblocks roi]]] INT]] { |
| foreach pip [filter $all_pips "TILE == $tile"] { |
| set src_wire [get_wires -uphill -of_objects $pip] |
| set dst_wire [get_wires -downhill -of_objects $pip] |
| set num_pips [llength [get_nodes -uphill -of_objects [get_nodes -of_objects $dst_wire]]] |
| set dir_prop [get_property IS_DIRECTIONAL $pip] |
| puts $fp "$tile $pip $src_wire $dst_wire $num_pips $dir_prop" |
| } |
| } |
| } |
| close $fp |
| } |
| |
| set int_l_tiles [filter [pblock_tiles roi] {TYPE == INT_L}] |
| set int_r_tiles [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 $line |
| } |
| close $fp |
| |
| for {set i 100} {$i < 200} {incr i} { |
| set route_nodes {} |
| foreach line [randsample_list 5 $todo_lines] { |
| set line [split $line .] |
| set tile_type [lindex $line 0] |
| set dst_wire [lindex $line 1] |
| set src_wire [lindex $line 2] |
| |
| set tile "" |
| if {$tile_type == "INT_L"} { |
| set j [expr {int(rand()*[llength $int_l_tiles])}] |
| set tile [lindex $int_l_tiles $j] |
| } |
| if {$tile_type == "INT_R"} { |
| set j [expr {int(rand()*[llength $int_r_tiles])}] |
| set tile [lindex $int_r_tiles $j] |
| } |
| |
| lappend route_nodes $tile/$src_wire |
| lappend route_nodes $tile/$dst_wire |
| } |
| |
| set_property FIXED_ROUTE {} [get_nets o_OBUF] |
| route_design -unroute -net [get_nets o_OBUF] |
| route_via o_OBUF $route_nodes |
| |
| write_bitstream -quiet -force design_$i.bit |
| write_txtdata design_$i.txt |
| } |