diff --git a/fuzzers/071-ppips/Makefile b/fuzzers/071-ppips/Makefile index 9020a884..0f39952b 100644 --- a/fuzzers/071-ppips/Makefile +++ b/fuzzers/071-ppips/Makefile @@ -6,19 +6,12 @@ # # SPDX-License-Identifier: ISC -N := 1 -SPECIMENS := $(addprefix build/specimen_,$(shell seq -f '%03.0f' $(N))) -SPECIMENS_OK := $(addsuffix /OK,$(SPECIMENS)) - -database: $(SPECIMENS_OK) - cp build/specimen_001/ppips_*.db build/ - -pushdb: +pushdb: build cp build/ppips_*.db ${XRAY_DATABASE_DIR}/$(XRAY_DATABASE)/ -$(SPECIMENS_OK): - bash generate.sh $(subst /OK,,$@) - touch $@ +database: + mkdir build + ./generate.py run: $(MAKE) clean diff --git a/fuzzers/071-ppips/generate.py b/fuzzers/071-ppips/generate.py new file mode 100644 index 00000000..42fe226b --- /dev/null +++ b/fuzzers/071-ppips/generate.py @@ -0,0 +1,21 @@ +#!/usr/bin/env python3 +import sys +from os import environ + +import rapidwright +from com.xilinx.rapidwright.design import Design +from com.xilinx.rapidwright.device import PseudoPIPHelper, Device +import com.xilinx.rapidwright.device.TileTypeEnum as TileType + +part = environ["XRAY_PART"] +device = Device.getDevice(part) +ppipmap = PseudoPIPHelper.getPseudoPIPMap(device) +tiletypes = ppipmap.keys() +for tiletype in tiletypes: + filename = f"build/ppips_{str(tiletype.toString()).lower()}.db" + with open(filename, 'w') as f: + rioi = ppipmap[tiletype] + ppipnames = [str(ph.getPseudoPIPName()) for ph in list(rioi.values())] + for ppip in ppipnames: + src, dest = ppip.split(str(tiletype) + ".")[-1].split("->") + f.write(f"{tiletype}.{dest}.{src} always") \ No newline at end of file diff --git a/fuzzers/071-ppips/generate.sh b/fuzzers/071-ppips/generate.sh deleted file mode 100644 index 1a8d02f2..00000000 --- a/fuzzers/071-ppips/generate.sh +++ /dev/null @@ -1,13 +0,0 @@ -#!/bin/bash -x -# 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 - -source ${XRAY_GENHEADER} - -${XRAY_VIVADO} -mode batch -source $FUZDIR/generate.tcl - diff --git a/fuzzers/071-ppips/generate.tcl b/fuzzers/071-ppips/generate.tcl deleted file mode 100644 index a4243801..00000000 --- a/fuzzers/071-ppips/generate.tcl +++ /dev/null @@ -1,401 +0,0 @@ -# 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 $::env(FUZDIR)/top.v -synth_design -top top - -set_property -dict "PACKAGE_PIN $::env(XRAY_PIN_00) IOSTANDARD LVCMOS33" [get_ports a] -set_property -dict "PACKAGE_PIN $::env(XRAY_PIN_01) IOSTANDARD LVCMOS33" [get_ports y] - -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_param tcl.collectionResultDisplayLimit 0 - -place_design -route_design - -write_checkpoint -force design.dcp -# write_bitstream -force design.bit - -proc write_common_ppips_db {filename tile} { - set fp [open $filename "w"] - set tile [get_tiles $tile] - set tile_type [get_property TILE_TYPE $tile] - - foreach pip [get_pips -of_objects $tile] { - set dst_wire [get_wires -downhill -of_objects $pip] - if {[get_property IS_PSEUDO $pip]} { - set src_wire [get_wires -uphill -of_objects $pip] - puts $fp "${tile_type}.[regsub {.*/} $dst_wire ""].[regsub {.*/} $src_wire ""] hint" - } elseif {[get_pips -uphill -of_objects [get_nodes -of_objects $dst_wire]] == $pip} { - set src_wire [get_wires -uphill -of_objects $pip] - puts $fp "${tile_type}.[regsub {.*/} $dst_wire ""].[regsub {.*/} $src_wire ""] always" - } - } - - close $fp -} - -proc write_int_ppips_db {filename tile} { - set fp [open $filename "w"] - set tile [get_tiles $tile] - set tile_type [get_property TILE_TYPE $tile] - - foreach pip [get_pips -of_objects [get_wires $tile/VCC_WIRE]] { - set wire [regsub {.*/} [get_wires -downhill -of_objects $pip] ""] - puts $fp "${tile_type}.${wire}.VCC_WIRE default" - } - - foreach pip [get_pips -of_objects $tile] { - set dst_wire [get_wires -downhill -of_objects $pip] - if {[get_pips -uphill -of_objects [get_nodes -of_objects $dst_wire]] == $pip} { - set src_wire [get_wires -uphill -of_objects $pip] - puts $fp "${tile_type}.[regsub {.*/} $dst_wire ""].[regsub {.*/} $src_wire ""] always" - } - } - - close $fp -} - -proc write_bram_ppips_db {filename tile} { - set fp [open $filename "w"] - set tile [get_tiles $tile] - set tile_type [get_property TILE_TYPE $tile] - - foreach pip [get_pips -of_objects $tile] { - set dst_wire [get_wires -downhill -of_objects $pip] - if {[get_pips -uphill -of_objects [get_nodes -of_objects $dst_wire]] == $pip} { - set src_wire [get_wires -uphill -of_objects $pip] - puts $fp "${tile_type}.[regsub {.*/} $dst_wire ""].[regsub {.*/} $src_wire ""] always" - } elseif [string match "*LOGIC_OUTS*" $dst_wire] { - # LOGIC_OUTS pips appear to be always, even thought multiple inputs to - # the pip junction. Best guess is that the underlying hardware is - # actually just one wire, and there is no actual junction. - foreach src_wire [get_wires -uphill -of_objects $pip] { - puts $fp "${tile_type}.[regsub {.*/} $dst_wire ""].[regsub {.*/} $src_wire ""] always" - } - } - } - - close $fp -} - -proc write_dsp_ppips_db {filename tile} { - set fp [open $filename "w"] - set tile [get_tiles $tile] - set tile_type [get_property TILE_TYPE $tile] - - foreach pip [get_pips -of_objects $tile] { - set dst_wire [get_wires -downhill -of_objects $pip] - if {[get_pips -uphill -of_objects [get_nodes -of_objects $dst_wire]] == $pip} { - set src_wire [get_wires -uphill -of_objects $pip] - puts $fp "${tile_type}.[regsub {.*/} $dst_wire ""].[regsub {.*/} $src_wire ""] always" - } - } - - close $fp -} - -proc write_hclk_ppips_db {filename tile} { - set fp [open $filename "w"] - set tile [get_tiles $tile] - set tile_type [get_property TILE_TYPE $tile] - - foreach pip [get_pips -of_objects $tile] { - set dst_wire [get_wires -downhill -of_objects $pip] - if [string match "*HCLK_IOI_CK_IGCLK*" $dst_wire] { - continue - } elseif {[get_pips -uphill -of_objects [get_nodes -of_objects $dst_wire]] == $pip} { - set src_wire [get_wires -uphill -of_objects $pip] - puts $fp "${tile_type}.[regsub {.*/} $dst_wire ""].[regsub {.*/} $src_wire ""] always" - } - } - - close $fp -} - -proc write_ioi_ppips_db {filename tile} { - set fp [open $filename "w"] - set tile [get_tiles $tile] - set tile_type [get_property TILE_TYPE $tile] - - foreach pip [get_pips -of_objects $tile] { - set dst_wire [get_wires -downhill -of_objects $pip] - if [string match "*DATAOUT*" $dst_wire] { - continue - } elseif {[get_pips -uphill -of_objects [get_nodes -of_objects $dst_wire]] == $pip} { - set src_wire [get_wires -uphill -of_objects $pip] - puts $fp "${tile_type}.[regsub {.*/} $dst_wire ""].[regsub {.*/} $src_wire ""] always" - } - } - - close $fp -} - -proc write_pss_ppips_db {filename tile} { - if {[llength $tile] != 0} { - set fp [open $filename "w"] - set tile [get_tiles $tile] - set tile_type [get_property TILE_TYPE $tile] - - # Skip bi-directional PIPs as they represent hard-wired PS7 connections - # and are not routable. - foreach pip [get_pips -of_objects $tile -filter "IS_DIRECTIONAL == 1"] { - set dst_wire [get_wires -downhill -of_objects $pip] - if {[get_pips -uphill -of_objects [get_nodes -of_objects $dst_wire]] == $pip} { - set src_wire [get_wires -uphill -of_objects $pip] - puts $fp "${tile_type}.[regsub {.*/} $dst_wire ""].[regsub {.*/} $src_wire ""] always" - } - } - - close $fp - } -} - -proc write_gtp_channel_ppips_db {filename tile tile_suffix} { - set fp [open $filename "w"] - set tile [get_tiles $tile] - set tile_type [get_property TILE_TYPE $tile] - - foreach pip [get_pips -of_objects $tile] { - set dst_wire [get_wires -downhill -of_objects $pip] - set src_wire [get_wires -uphill -of_objects $pip] - - set num_uphill_nodes [llength [get_nodes -uphill -of_objects [get_nodes -of_objects $dst_wire]]] - - # All the "MID" GTP tiles (e.g. in the artix 200T devices) have configuration bits - # even for nodes with only one uphill nodes connections. - # E.g.: IBUFDS_GTPE2_1_MGTCLKOUT_MUX.IBUFDS_GTPE2_1_MGTCLKOUT - # The above is a real PIP and should not be added to the PPIPs list. - set mux [regexp "MUX" $dst_wire] - - set mgt_clk [regexp "MGT_CLK\[0-9\]+" $dst_wire] - set mgtclkout [regexp "MGTCLKOUT" $dst_wire] - - if {($num_uphill_nodes != 1 && !$mgtclkout) || - $mux || - ($mgt_clk && $tile_suffix != "")} { - continue - } - - puts $fp "${tile_type}${tile_suffix}.[regsub {.*/} $dst_wire ""].[regsub {.*/} $src_wire ""] always" - } - - close $fp -} - -proc write_gtp_int_interface_ppips_db {filename tile tile_suffix wire_suffix} { - set fp [open $filename "w"] - set tile [get_tiles $tile] - set tile_type [get_property TILE_TYPE $tile] - - foreach pip [get_pips -of_objects $tile] { - set dst_wire [get_wires -downhill -of_objects $pip] - set src_wire [get_wires -uphill -of_objects $pip] - - if {[regexp "DELAY" $src_wire]} { - continue - } - - set map {} - lappend map {GTPE2} GTPE2${wire_suffix} - - set dst_wire [string map $map $dst_wire] - set src_wire [string map $map $src_wire] - - # Adding GTPE2_ prefix to wires only for GTP_INT_INTERFACE_[RL] and the wire is a LOGIC_OUTS type - # The GTP_INT_INTERFACE tile does not have the GTPE2_ prefix for this wires - set logic_outs [regexp "LOGIC_OUTS\[0-9\]+" $dst_wire] - if {$logic_outs && $wire_suffix != ""} { - set map {} - lappend map {INT_INTERFACE} GTPE2_INT_INTERFACE - - set dst_wire [string map $map $dst_wire] - set src_wire [string map $map $src_wire] - } - - puts $fp "${tile_type}${tile_suffix}.[regsub {.*/} $dst_wire ""].[regsub {.*/} $src_wire ""] always" - - } - close $fp -} - -proc write_pcie_ppips_db {filename tile tile_suffix} { - set fp [open $filename "w"] - set tile [get_tiles $tile] - set tile_type [get_property TILE_TYPE $tile] - - foreach pip [get_pips -of_objects $tile] { - set dst_wire [get_wires -downhill -of_objects $pip] - if {[get_pips -uphill -of_objects [get_nodes -of_objects $dst_wire]] == $pip} { - set src_wire [get_wires -uphill -of_objects $pip] - - if {![regexp "PCIE" $src_wire]} { - continue - } - - puts $fp "${tile_type}${tile_suffix}.[regsub {.*/} $dst_wire ""].[regsub {.*/} $src_wire ""] always" - } - } - - close $fp -} - -proc write_pcie_int_interface_ppips_db {filename tile allows forbids} { - set fp [open $filename "w"] - set tile [get_tiles $tile] - set tile_type [get_property TILE_TYPE $tile] - - foreach pip [get_pips -of_objects $tile] { - set dst_wire [get_wires -downhill -of_objects $pip] - set src_wire [get_wires -uphill -of_objects $pip] - set skip_wire false - - foreach wire $forbids { - if {[regexp $wire $src_wire]} { - set skip_wire true - break - } - } - if {$skip_wire == true} { - continue - } - - set skip_wire true - foreach wire $allows { - if {[regexp $wire $src_wire]} { - set skip_wire false - break - } - } - if {$skip_wire == true} { - continue - } - - puts $fp "${tile_type}.[regsub {.*/} $dst_wire ""].[regsub {.*/} $src_wire ""] always" - } - - close $fp -} - -foreach tile_type {CLBLM_L CLBLM_R CLBLL_L CLBLL_R} { - set tiles [get_tiles -filter "TILE_TYPE == $tile_type"] - if {[llength $tiles] != 0} { - set tile [lindex $tiles 0] - write_common_ppips_db "ppips_[string tolower $tile_type].db" $tile - } -} - -foreach tile_type {INT_L INT_R BRAM_INT_INTERFACE_L BRAM_INT_INTERFACE_R \ - DSP_INT_INTERFACE_L DSP_INT_INTERFACE_R \ - CLK_HROW_TOP_R CLK_HROW_BOT_R CLK_BUFG_TOP_R CLK_BUFG_BOT_R \ - IO_INT_INTERFACE_R IO_INT_INTERFACE_L \ - BRKH_INT HCLK_L HCLK_R HCLK_CMT \ - CMT_TOP_L_UPPER_T CMT_TOP_L_UPPER_B \ - CMT_TOP_L_LOWER_T CMT_TOP_L_LOWER_B \ - CMT_TOP_R_UPPER_T CMT_TOP_R_UPPER_B \ - CMT_TOP_R_LOWER_T CMT_TOP_R_LOWER_B \ - INT_INTERFACE_L INT_INTERFACE_R} { - set tiles [get_tiles -filter "TILE_TYPE == $tile_type"] - if {[llength $tiles] != 0} { - set tile [lindex $tiles 0] - write_int_ppips_db "ppips_[string tolower $tile_type].db" $tile - } -} - -foreach tile_type {HCLK_IOI3} { - set tiles [get_tiles -filter "TILE_TYPE == $tile_type"] - if {[llength $tiles] != 0} { - set tile [lindex $tiles 0] - write_hclk_ppips_db "ppips_[string tolower $tile_type].db" $tile - } -} - -foreach tile_type {RIOI3 LIOI3 LIOI3_TBYTETERM RIOI3_TBYTETERM \ - LIOI3_TBYTESRC RIOI3_TBYTESRC LIOI3_SING RIOI3_SING RIOI RIOI_SING RIOI_TBYTESRC RIOI_TBYTETERM} { - set tiles [get_tiles -filter "TILE_TYPE == $tile_type"] - if {[llength $tiles] != 0} { - set tile [lindex $tiles 0] - write_ioi_ppips_db "ppips_[string tolower $tile_type].db" $tile - } -} - -foreach tile_type {BRAM_L BRAM_R} { - set tiles [get_tiles -filter "TILE_TYPE == $tile_type"] - if {[llength $tiles] != 0} { - set tile [lindex $tiles 0] - write_bram_ppips_db "ppips_[string tolower $tile_type].db" $tile - } -} - -foreach tile_type {DSP_L DSP_R} { - set tiles [get_tiles -filter "TILE_TYPE == $tile_type"] - if {[llength $tiles] != 0} { - set tile [lindex $tiles 0] - write_dsp_ppips_db "ppips_[string tolower $tile_type].db" $tile - } -} - -foreach tile_type {PSS0 PSS1 PSS2 PSS3 PSS4 INT_INTERFACE_PSS_L} { - set tiles [get_tiles -filter "TILE_TYPE == $tile_type"] - if {[llength $tiles] != 0} { - set tile [lindex $tiles 0] - write_pss_ppips_db "ppips_[string tolower $tile_type].db" $tile - } -} - -foreach tile_type {GTP_CHANNEL_0 GTP_CHANNEL_1 GTP_CHANNEL_2 GTP_CHANNEL_3 GTP_COMMON} { - set tiles [get_tiles -filter "TILE_TYPE == $tile_type"] - if {[llength $tiles] != 0} { - set tile [lindex $tiles 0] - write_gtp_channel_ppips_db "ppips_[string tolower $tile_type].db" $tile "" - write_gtp_channel_ppips_db "ppips_[string tolower $tile_type]_mid_left.db" $tile "_MID_LEFT" - write_gtp_channel_ppips_db "ppips_[string tolower $tile_type]_mid_right.db" $tile "_MID_RIGHT" - } -} - -foreach tile_type {GTP_INT_INTERFACE} { - set tiles [get_tiles -filter "TILE_TYPE == $tile_type"] - if {[llength $tiles] != 0} { - set tile [lindex $tiles 0] - write_gtp_int_interface_ppips_db "ppips_[string tolower $tile_type].db" $tile "" "" - write_gtp_int_interface_ppips_db "ppips_[string tolower $tile_type]_r.db" $tile "_R" "_R" - write_gtp_int_interface_ppips_db "ppips_[string tolower $tile_type]_l.db" $tile "_L" "_LEFT" - } -} - -foreach tile_type {PCIE_BOT PCIE_TOP} { - set tiles [get_tiles -filter "TILE_TYPE == $tile_type"] - if {[llength $tiles] != 0} { - set tile [lindex $tiles 0] - write_pcie_ppips_db "ppips_[string tolower $tile_type].db" $tile "" - } -} - -foreach tile_type {PCIE_INT_INTERFACE_L PCIE_INT_INTERFACE_R} { - set tiles [get_tiles -filter "TILE_TYPE == $tile_type"] - if {[llength $tiles] != 0} { - set tile [lindex $tiles 0] - set allow_wires {"IMUX_L\[0-9\]+" "IMUX\[0-9\]+" "LOGIC_OUTS"} - set forbid_wires {"DELAY\[0-9\]+"} - write_pcie_int_interface_ppips_db "ppips_[string tolower $tile_type].db" $tile $allow_wires $forbid_wires - } -} - -foreach tile_type {RIOB33 LIOB33 RIOB33_SING LIOB33_SING RIOB18 RIOB18_SING} { - set tiles [get_tiles -filter "TILE_TYPE == $tile_type"] - if {[llength $tiles] != 0} { - set tile [lindex $tiles 0] - write_common_ppips_db "ppips_[string tolower $tile_type].db" $tile - } -} diff --git a/fuzzers/071-ppips/top.v b/fuzzers/071-ppips/top.v deleted file mode 100644 index 5a70fc18..00000000 --- a/fuzzers/071-ppips/top.v +++ /dev/null @@ -1,3 +0,0 @@ -module top(input a, output y); - assign y = a; -endmodule