Enabled 035b in Makefile

Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
This commit is contained in:
Maciej Kurc 2019-11-26 12:25:51 +01:00
parent d83a7031e5
commit 3ee95542b8
3 changed files with 15 additions and 5 deletions

View File

@ -10,8 +10,13 @@ include ../fuzzer.mk
database: build/segbits_xioi3.db
build/segbits_xioi3.rdb: $(SPECIMENS_OK)
${XRAY_SEGMATCH} -c 6 -o build/segbits_xioi3.rdb $$(find -name segdata_*)
build/segbits_xioi3.rdb2: $(SPECIMENS_OK)
${XRAY_SEGMATCH} -c 6 -o build/segbits_xioi3.rdb2 $$(find -name segdata_*)
build/segbits_xioi3.rdb: build/segbits_xioi3.rdb2
# Filter out ISERDES features. Also filter DYN_CLK_INV_EN as they should
# belong to ISEDRES and are solved by fuzzer 035b.
grep -v ".ISERDES." $^ | grep -v "DYN_" >$@
build/segbits_xioi3.db: build/segbits_xioi3.rdb
${XRAY_DBFIXUP} --db-root build --zero-db bits.dbf --seg-fn-in $^ --seg-fn-out $@

View File

@ -1,10 +1,14 @@
N := 60
N := 50
include ../fuzzer.mk
database: build/segbits_xiob33.db
build/segbits_xiob33.rdb: $(SPECIMENS_OK)
${XRAY_SEGMATCH} -c 20 -m 1 -M 1 -o build/segbits_xiob33.rdb $$(find -name segdata_*.txt)
build/segbits_xiob33.rdb2: $(SPECIMENS_OK)
${XRAY_SEGMATCH} -c 20 -m 1 -M 1 -o build/segbits_xiob33.rdb2 $$(find -name segdata_*.txt)
build/segbits_xiob33.rdb: build/segbits_xiob33.rdb2
# Keep only solution for ISERDES related features.
grep -e ".ISERDES." $^ >$@
build/segbits_xiob33.db: build/segbits_xiob33.rdb
${XRAY_DBFIXUP} --db-root build --zero-db bits.dbf --seg-fn-in $^ --seg-fn-out $@

View File

@ -117,6 +117,7 @@ $(eval $(call fuzzer,032-cmt-pll,005-tilegrid,all))
$(eval $(call fuzzer,034-cmt-pll-pips,005-tilegrid 071-ppips,all))
$(eval $(call fuzzer,035-iob-ilogic,005-tilegrid,all))
$(eval $(call fuzzer,035a-iob-idelay,005-tilegrid,all))
$(eval $(call fuzzer,035b-iob-iserdes,005-tilegrid,all))
$(eval $(call fuzzer,036-iob-ologic,005-tilegrid,all))
$(eval $(call fuzzer,037-iob-pips,005-tilegrid,all))
$(eval $(call fuzzer,038-cfg,005-tilegrid,all))