From 09387a0662a5c95e8e819acfc1300aa4c4939a5d Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Sun, 19 Jun 2016 16:24:50 +0200 Subject: Added icefuzz/glbcheck.py --- icefuzz/glbcheck.py | 63 +++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 63 insertions(+) create mode 100644 icefuzz/glbcheck.py diff --git a/icefuzz/glbcheck.py b/icefuzz/glbcheck.py new file mode 100644 index 0000000..4c86f0e --- /dev/null +++ b/icefuzz/glbcheck.py @@ -0,0 +1,63 @@ +#!/usr/bin/env python3 + +from sys import argv, exit + +asc_bits = set() +glb_bits = set() + +# parsing .asc file +with open(argv[1]) as f: + current_tile = None + current_line = None + for line in f: + if line.startswith("."): + if line.find("_tile ") >= 0: + f = line.split() + current_tile = "%02d.%02d" % (int(f[1]), int(f[2])) + current_line = 0 + else: + current_tile = None + current_line = None + continue + + if current_tile is not None: + for i in range(len(line)): + if line[i] == '1': + asc_bits.add("%s.%02d.%02d" % (current_tile, current_line, i)) + current_line += 1 + +# parsing .glb file +with open(argv[2]) as f: + current_tile = None + for line in f: + if line.find("Tile_") >= 0: + f = line.replace("IO_", "").replace("RAM_", "").split("_") + assert len(f) == 3 + current_tile = "%02d.%02d" % (int(f[1]), int(f[2])) + continue + + if line.find("GlobalNetwork") >= 0: + current_tile = None + continue + + if current_tile is not None: + f = line.replace("(", "").replace(")", "").split() + if len(f) >= 2: + glb_bits.add("%s.%02d.%02d" % (current_tile, int(f[1]), int(f[0]))) + +# compare and report +if asc_bits == glb_bits: + print("ASC and GLB files match.") + exit(0) + +only_in_asc = asc_bits - glb_bits +only_in_glb = glb_bits - asc_bits +assert len(only_in_asc) != 0 or len(only_in_glb) != 0 + +if len(only_in_asc) != 0: + print("Only in ASC: %s" % sorted(only_in_asc)) +if len(only_in_glb) != 0: + print("Only in GLB: %s" % sorted(only_in_glb)) + +exit(1) + -- cgit v1.2.3