luke
/
prjxray
mirror of https://github.com/openXC7/prjxray.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

bram: write to database/*/segbits_bram_*.block_ram.db 

Signed-off-by: John McMaster <johndmcmaster@gmail.com>
This commit is contained in:
John McMaster 2018-10-23 13:17:07 -07:00
parent 0740fce8a3
commit 38c4d3c9ab
2 changed files with 15 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
fuzzers/102-bram-data/Makefile
View File

@ -3,11 +3,11 @@ SPECIMENS := $(addprefix specimen_,$(shell seq -f '%03.0f' $(N)))
SPECIMENS_OK := $(addsuffix /OK,$(SPECIMENS))
database: $(SPECIMENS_OK)
${XRAY_SEGMATCH} -o seg_bramx.segbits.BLOCK_RAM $(addsuffix /segdata_bram_[lr].txt,$(SPECIMENS))
${XRAY_SEGMATCH} -o seg_bramx.block_ram.segbits $(addsuffix /segdata_bram_[lr].txt,$(SPECIMENS))
pushdb:
${XRAY_MERGEDB} bram_l seg_bramx.segbits.BLOCK_RAM
${XRAY_MERGEDB} bram_r seg_bramx.segbits.BLOCK_RAM
${XRAY_MERGEDB} bram_l.block_ram seg_bramx.block_ram.segbits
${XRAY_MERGEDB} bram_r.block_ram seg_bramx.block_ram.segbits
$(SPECIMENS_OK):
bash generate.sh $(subst /OK,,$@)

12
utils/mergedb.sh
View File

@ -1,5 +1,8 @@
#!/bin/bash
# $1: DB type
# $2: filename to merge in
set -ex
test $# = 2
test -e "$2"
@ -9,6 +12,10 @@ tmp2=`mktemp -p .`
db=$XRAY_DATABASE_DIR/$XRAY_DATABASE/segbits_$1.db
# Fuzzers verify L/R data is equivilent
# However, expand back to L/R to make downstream tools not depend on this
# in case we later find exceptions
case "$1" in
clbll_l)
sed < "$2" > "$tmp1" \
@ -37,6 +44,11 @@ case "$1" in
bram_r)
sed < "$2" > "$tmp1" -e 's/^BRAM\./BRAM_R./' ;;
bram_l.block_ram)
sed < "$2" > "$tmp1" -e 's/^BRAM\./BRAM_L./' ;;
bram_r.block_ram)
sed < "$2" > "$tmp1" -e 's/^BRAM\./BRAM_R./' ;;
int_l)
sed < "$2" > "$tmp1" -e 's/^INT\./INT_L./' ;;
int_r)