diff --git a/fuzzers/071-ppips/Makefile b/fuzzers/071-ppips/Makefile index 02ea7606..d3b05e2c 100644 --- a/fuzzers/071-ppips/Makefile +++ b/fuzzers/071-ppips/Makefile @@ -4,10 +4,10 @@ SPECIMENS := $(addprefix build/specimen_,$(shell seq -f '%03.0f' $(N))) SPECIMENS_OK := $(addsuffix /OK,$(SPECIMENS)) database: $(SPECIMENS_OK) - cp build/specimen_001/ppips_*.txt build/ + cp build/specimen_001/ppips_*.db build/ pushdb: - cp build/ppips_*.txt ${XRAY_DATABASE_DIR}/$(XRAY_DATABASE)/ + cp build/ppips_*.db ${XRAY_DATABASE_DIR}/$(XRAY_DATABASE)/ $(SPECIMENS_OK): bash generate.sh $(subst /OK,,$@) diff --git a/fuzzers/071-ppips/generate.tcl b/fuzzers/071-ppips/generate.tcl index f4183c34..8f1a5c47 100644 --- a/fuzzers/071-ppips/generate.tcl +++ b/fuzzers/071-ppips/generate.tcl @@ -60,10 +60,18 @@ proc write_int_ppips_db {filename tile} { close $fp } -foreach tile_type {CLBLM_L CLBLM_R CLBLL_L CLBLL_R INT_L INT_R BRAM_L BRAM_R} { +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_clb_ppips_db "ppips_[string tolower $tile_type].txt" $tile + write_clb_ppips_db "ppips_[string tolower $tile_type].db" $tile + } +} + +foreach tile_type {INT_L INT_R BRAM_L BRAM_R BRAM_INT_INTERFACE_L BRAM_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 } }