mirror of https://github.com/openXC7/prjxray.git
checkdb.py: restored check on all previous tiles
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
This commit is contained in:
parent
987cf47df9
commit
aa4ea882df
|
|
@ -110,8 +110,6 @@ def check_tile_overlap(db, verbose=False):
|
|||
else:
|
||||
tiles_type_done[tile_type] = False
|
||||
|
||||
mall[tile_type] = {}
|
||||
|
||||
if tiles_type_done[tile_type]:
|
||||
continue
|
||||
|
||||
|
|
@ -124,7 +122,7 @@ def check_tile_overlap(db, verbose=False):
|
|||
|
||||
collisions = set()
|
||||
for bits in mtile.keys():
|
||||
if bits in mall[tile_type].keys():
|
||||
if bits in mall.keys():
|
||||
collisions.add(bits)
|
||||
|
||||
if collisions:
|
||||
|
|
@ -134,10 +132,10 @@ def check_tile_overlap(db, verbose=False):
|
|||
word, bit = util.addr_bit2word(bitaddr)
|
||||
print(
|
||||
" %s: had %s, got %s" % (
|
||||
util.addr2str(addr, word, bit), mall[tile_type][ck],
|
||||
util.addr2str(addr, word, bit), mall[ck],
|
||||
mtile[ck]))
|
||||
raise ValueError("%s collisions" % len(collisions))
|
||||
mall[tile_type].update(mtile)
|
||||
mall.update(mtile)
|
||||
tiles_checked += 1
|
||||
print("Checked %s tiles, %s bits" % (tiles_checked, len(mall)))
|
||||
|
||||
|
|
|
|||
Loading…
Reference in New Issue