|  | # 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 | 
|  | } |