Added icefuzz/glbcheck.py

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)
+