diff --git a/fuzzers/055-pip-gnd/generate.sh b/fuzzers/055-pip-gnd/generate.sh new file mode 100644 index 00000000..f42f840c --- /dev/null +++ b/fuzzers/055-pip-gnd/generate.sh @@ -0,0 +1,5 @@ +#!/bin/bash + +set -ex +source ${XRAY_DIR}/utils/top_generate.sh + diff --git a/fuzzers/060-bram-cascades/generate.tcl b/fuzzers/060-bram-cascades/generate.tcl index a7de13f1..e65d9b96 100644 --- a/fuzzers/060-bram-cascades/generate.tcl +++ b/fuzzers/060-bram-cascades/generate.tcl @@ -22,5 +22,24 @@ route_design write_checkpoint -force design.dcp +proc write_txtdata {filename} { + puts "FUZ([pwd]): Writing $filename." + set fp [open $filename w] + foreach net [get_nets -hierarchical] { + if [string match "*addr*" $net] { + puts "Tick $net." + foreach pip [get_pips -of_objects $net] { + set tile [get_tiles -of_objects $pip] + 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 +} + write_bitstream -force design.bit -write_pip_txtdata design.txt +write_txtdata design.txt