2017-10-18 00:59:04 +02:00
|
|
|
#!/usr/bin/env python3
|
|
|
|
|
|
|
|
|
|
import os, sys, json, re
|
|
|
|
|
|
2017-11-27 00:33:42 +01:00
|
|
|
# copy&paste from dbfixup.py
|
|
|
|
|
zero_db = [
|
|
|
|
|
"00_21 00_22 00_26 01_28|00_25 01_20 01_21 01_24",
|
|
|
|
|
"00_23 00_30 01_22 01_25|00_27 00_29 01_26 01_29",
|
|
|
|
|
"01_12 01_14 01_16 01_18|00_10 00_11 01_09 01_10",
|
|
|
|
|
"00_13 01_17 00_15 00_17|00_18 00_19 01_13 00_14",
|
|
|
|
|
"00_34 00_38 01_33 01_37|00_35 00_39 01_38 01_40",
|
|
|
|
|
"00_33 00_41 01_32 01_34|00_37 00_42 01_36 01_41",
|
|
|
|
|
]
|
|
|
|
|
|
|
|
|
|
zero_bits = set()
|
|
|
|
|
|
|
|
|
|
for zdb in zero_db:
|
|
|
|
|
a, b = zdb.split("|")
|
|
|
|
|
for bit in b.split():
|
|
|
|
|
zero_bits.add(bit)
|
|
|
|
|
|
2017-11-12 21:05:51 +01:00
|
|
|
class UnionFind:
|
|
|
|
|
def __init__(self):
|
|
|
|
|
self.parents = dict()
|
|
|
|
|
|
|
|
|
|
def make(self, value):
|
|
|
|
|
if value not in self.parents:
|
|
|
|
|
self.parents[value] = value
|
|
|
|
|
|
|
|
|
|
def find(self, value):
|
|
|
|
|
self.make(value)
|
|
|
|
|
if self.parents[value] != value:
|
|
|
|
|
retval = self.find(self.parents[value])
|
|
|
|
|
self.parents[value] = retval
|
|
|
|
|
return self.parents[value]
|
|
|
|
|
|
|
|
|
|
def union(self, v1, v2):
|
|
|
|
|
a = self.find(v1)
|
|
|
|
|
b = self.find(v2)
|
|
|
|
|
if a != b:
|
|
|
|
|
self.parents[a] = b
|
|
|
|
|
|
|
|
|
|
|
2017-10-18 00:59:04 +02:00
|
|
|
#################################################
|
|
|
|
|
# Loading Raw Source Data
|
|
|
|
|
|
|
|
|
|
grid = None
|
|
|
|
|
segbits = dict()
|
|
|
|
|
segbits_r = dict()
|
|
|
|
|
segframes = dict()
|
2017-11-11 09:53:22 +01:00
|
|
|
routebits = dict()
|
2017-11-18 02:51:46 +01:00
|
|
|
routezbits = dict()
|
2017-11-17 18:49:27 +01:00
|
|
|
piptypes = dict()
|
2017-11-13 02:32:06 +01:00
|
|
|
maskbits = dict()
|
2017-10-18 00:59:04 +02:00
|
|
|
|
|
|
|
|
print("Loading tilegrid.")
|
|
|
|
|
with open("../database/%s/tilegrid.json" % os.getenv("XRAY_DATABASE"), "r") as f:
|
|
|
|
|
grid = json.load(f)
|
|
|
|
|
|
|
|
|
|
for segname, segdata in grid["segments"].items():
|
|
|
|
|
segtype = segdata["type"].lower()
|
|
|
|
|
|
|
|
|
|
if segtype not in segbits:
|
|
|
|
|
segbits[segtype] = dict()
|
|
|
|
|
segbits_r[segtype] = dict()
|
2017-11-12 17:31:22 +01:00
|
|
|
routebits[segtype] = dict()
|
2017-11-18 02:51:46 +01:00
|
|
|
routezbits[segtype] = dict()
|
2017-11-13 02:32:06 +01:00
|
|
|
maskbits[segtype] = set()
|
2017-10-18 13:00:25 +02:00
|
|
|
segframes[segtype] = segdata["frames"]
|
2017-10-18 00:59:04 +02:00
|
|
|
|
|
|
|
|
print("Loading %s segbits." % segtype)
|
2017-11-16 23:12:21 +01:00
|
|
|
with open("../database/%s/segbits_%s.db" % (os.getenv("XRAY_DATABASE"), segtype)) as f:
|
2017-10-18 00:59:04 +02:00
|
|
|
for line in f:
|
|
|
|
|
bit_name, bit_pos = line.split()
|
2017-11-18 02:51:46 +01:00
|
|
|
assert bit_pos[0] != "!"
|
2017-10-18 00:59:04 +02:00
|
|
|
segbits[segtype][bit_name] = bit_pos
|
|
|
|
|
segbits_r[segtype][bit_pos] = bit_name
|
|
|
|
|
|
2017-11-16 23:12:21 +01:00
|
|
|
print("Loading %s segbits." % re.sub("clbl[lm]", "int", segtype))
|
|
|
|
|
with open("../database/%s/segbits_%s.db" % (os.getenv("XRAY_DATABASE"), re.sub("clbl[lm]", "int", segtype))) as f:
|
2017-11-12 17:31:22 +01:00
|
|
|
for line in f:
|
|
|
|
|
bit_name, *bit_pos = line.split()
|
|
|
|
|
for bit in bit_pos:
|
2017-11-18 02:51:46 +01:00
|
|
|
if bit[0] == "!":
|
|
|
|
|
if bit[1:] not in routezbits[segtype]:
|
|
|
|
|
routezbits[segtype][bit[1:]] = set()
|
|
|
|
|
routezbits[segtype][bit[1:]].add(bit_name)
|
|
|
|
|
else:
|
|
|
|
|
if bit not in routebits[segtype]:
|
|
|
|
|
routebits[segtype][bit] = set()
|
|
|
|
|
routebits[segtype][bit].add(bit_name)
|
2017-11-11 09:53:22 +01:00
|
|
|
|
2017-11-16 23:12:21 +01:00
|
|
|
print("Loading %s maskbits." % segtype)
|
|
|
|
|
with open("../database/%s/mask_%s.db" % (os.getenv("XRAY_DATABASE"), segtype)) as f:
|
2017-11-13 02:32:06 +01:00
|
|
|
for line in f:
|
|
|
|
|
_, bit = line.split()
|
|
|
|
|
maskbits[segtype].add(bit)
|
|
|
|
|
|
2017-10-18 00:59:04 +02:00
|
|
|
|
|
|
|
|
#################################################
|
|
|
|
|
# Create Tilegrid Page
|
|
|
|
|
|
|
|
|
|
grid_range = None
|
|
|
|
|
grid_map = dict()
|
|
|
|
|
|
2017-10-18 12:04:02 +02:00
|
|
|
print("Writing %s/index.html." % os.getenv("XRAY_DATABASE"))
|
|
|
|
|
os.makedirs(os.getenv("XRAY_DATABASE"), exist_ok=True)
|
|
|
|
|
with open("%s/index.html" % os.getenv("XRAY_DATABASE"), "w") as f:
|
2017-10-18 00:59:04 +02:00
|
|
|
print("<html><title>X-Ray %s Database</title><body>" % os.getenv("XRAY_DATABASE").upper(), file=f)
|
2017-10-18 13:00:25 +02:00
|
|
|
print("<h3>X-Ray %s Database</h3>" % os.getenv("XRAY_DATABASE").upper(), file=f)
|
|
|
|
|
|
|
|
|
|
print("<p><b>Part: %s<br/>ROI: %s<br/>ROI Frames: %s</b></p>" % (os.getenv("XRAY_PART"), os.getenv("XRAY_ROI"), os.getenv("XRAY_ROI_FRAMES")), file=f)
|
2017-10-18 00:59:04 +02:00
|
|
|
|
|
|
|
|
for tilename, tiledata in grid["tiles"].items():
|
|
|
|
|
grid_x = tiledata["grid_x"]
|
|
|
|
|
grid_y = tiledata["grid_y"]
|
|
|
|
|
grid_map[(grid_x, grid_y)] = tilename
|
|
|
|
|
|
|
|
|
|
if grid_range is None:
|
|
|
|
|
grid_range = [grid_x, grid_y, grid_x, grid_y]
|
|
|
|
|
else:
|
|
|
|
|
grid_range[0] = min(grid_range[0], grid_x)
|
|
|
|
|
grid_range[1] = min(grid_range[1], grid_y)
|
|
|
|
|
grid_range[2] = max(grid_range[2], grid_x)
|
|
|
|
|
grid_range[3] = max(grid_range[3], grid_y)
|
|
|
|
|
|
2017-11-12 21:05:51 +01:00
|
|
|
print("<table border>", file=f)
|
2017-10-18 00:59:04 +02:00
|
|
|
|
|
|
|
|
for grid_y in range(grid_range[1], grid_range[3]+1):
|
|
|
|
|
print("<tr>", file=f)
|
|
|
|
|
|
|
|
|
|
for grid_x in range(grid_range[0], grid_range[2]+1):
|
|
|
|
|
tilename = grid_map[(grid_x, grid_y)]
|
|
|
|
|
tiledata = grid["tiles"][tilename]
|
|
|
|
|
|
|
|
|
|
bgcolor = "#aaaaaa"
|
|
|
|
|
if tiledata["type"] in ["INT_L", "INT_R"]: bgcolor="#aaaaff"
|
|
|
|
|
if tiledata["type"] in ["CLBLL_L", "CLBLL_R"]: bgcolor="#ffffaa"
|
|
|
|
|
if tiledata["type"] in ["CLBLM_L", "CLBLM_R"]: bgcolor="#ffaaaa"
|
|
|
|
|
|
|
|
|
|
title = [tilename]
|
|
|
|
|
|
|
|
|
|
if "segment" in tiledata:
|
|
|
|
|
segdata = grid["segments"][tiledata["segment"]]
|
|
|
|
|
title.append(tiledata["segment"])
|
|
|
|
|
|
|
|
|
|
title.append("GRID_POSITION: %d %d" % (grid_x, grid_y))
|
|
|
|
|
|
|
|
|
|
if "sites" in tiledata:
|
|
|
|
|
for sitename, sitetype in tiledata["sites"].items():
|
|
|
|
|
title.append("%s site: %s" % (sitetype, sitename))
|
|
|
|
|
|
|
|
|
|
if "segment" in tiledata:
|
|
|
|
|
title.append("Baseaddr: %s %d" % tuple(segdata["baseaddr"]))
|
|
|
|
|
|
2017-10-18 13:00:25 +02:00
|
|
|
print("<td bgcolor=\"%s\" align=\"center\" title=\"%s\"><span style=\"font-size:10px\">" % (bgcolor, "\n".join(title)), file=f)
|
2017-10-18 00:59:04 +02:00
|
|
|
if "segment" in tiledata:
|
|
|
|
|
segtype = segdata["type"].lower()
|
2017-10-18 13:00:25 +02:00
|
|
|
print("<a style=\"text-decoration: none; color: black\" href=\"seg_%s.html\">%s</a></span></td>" %
|
2017-10-18 00:59:04 +02:00
|
|
|
(segtype, tilename.replace("_X", "<br/>X")), file=f)
|
|
|
|
|
else:
|
2017-10-18 13:00:25 +02:00
|
|
|
print("%s</span></td>" % tilename.replace("_X", "<br/>X"), file=f)
|
2017-10-18 00:59:04 +02:00
|
|
|
|
|
|
|
|
print("</tr>", file=f)
|
|
|
|
|
|
2017-11-12 21:05:51 +01:00
|
|
|
print("</table>", file=f)
|
2017-10-18 00:59:04 +02:00
|
|
|
print("</body></html>", file=f)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
#################################################
|
|
|
|
|
# Create Segment Pages
|
|
|
|
|
|
|
|
|
|
for segtype in segbits.keys():
|
2017-10-18 12:04:02 +02:00
|
|
|
print("Writing %s/seg_%s.html." % (os.getenv("XRAY_DATABASE"), segtype))
|
|
|
|
|
with open("%s/seg_%s.html" % (os.getenv("XRAY_DATABASE"), segtype), "w") as f:
|
2017-10-18 00:59:04 +02:00
|
|
|
print("<html><title>X-Ray %s Database: %s</title><body>" % (os.getenv("XRAY_DATABASE").upper(), segtype.upper()), file=f)
|
2017-11-19 09:42:38 +01:00
|
|
|
print("<h3>X-Ray %s Database: %s Segment (%s Tile + %s Tile)</h3>" % (os.getenv("XRAY_DATABASE").upper(), segtype.upper(),
|
|
|
|
|
segtype.upper(), re.sub("clbl[lm]", "int", segtype).upper()), file=f)
|
2017-11-12 21:05:51 +01:00
|
|
|
print("<table border>", file=f)
|
2017-10-18 00:59:04 +02:00
|
|
|
|
2017-11-25 22:11:18 +01:00
|
|
|
gray_bits = 0
|
|
|
|
|
colored_bits = 0
|
|
|
|
|
|
2017-11-12 21:05:51 +01:00
|
|
|
print("<tr>", file=f)
|
|
|
|
|
print("<th width=\"30\"></th>", file=f)
|
2017-10-18 00:59:04 +02:00
|
|
|
for frameidx in range(segframes[segtype]):
|
2017-11-12 21:05:51 +01:00
|
|
|
print("<th width=\"30\"><span style=\"font-size:10px\">%d</span></th>" % frameidx, file=f)
|
|
|
|
|
print("</tr>", file=f)
|
2017-10-18 00:59:04 +02:00
|
|
|
|
2017-10-18 12:04:02 +02:00
|
|
|
for bitidx in range(63, -1, -1):
|
2017-11-12 21:05:51 +01:00
|
|
|
print("<tr>", file=f)
|
|
|
|
|
print("<th align=\"right\"><span style=\"font-size:10px\">%d</span></th>" % bitidx, file=f)
|
2017-10-18 00:59:04 +02:00
|
|
|
for frameidx in range(segframes[segtype]):
|
2017-10-19 01:51:29 +02:00
|
|
|
bit_pos = "%02d_%02d" % (frameidx, bitidx)
|
2017-10-18 00:59:04 +02:00
|
|
|
bit_name = segbits_r[segtype][bit_pos] if bit_pos in segbits_r[segtype] else None
|
|
|
|
|
|
2017-11-14 01:29:15 +01:00
|
|
|
label = None
|
2017-10-18 00:59:04 +02:00
|
|
|
title = [bit_pos]
|
|
|
|
|
bgcolor = "#aaaaaa"
|
|
|
|
|
|
2017-11-13 02:32:06 +01:00
|
|
|
if bit_pos not in maskbits[segtype]:
|
2017-11-16 05:42:40 +01:00
|
|
|
label = " "
|
2017-11-13 02:32:06 +01:00
|
|
|
bgcolor = "#444444"
|
2017-11-16 05:42:40 +01:00
|
|
|
title.append("UNUSED ?")
|
2017-11-13 02:32:06 +01:00
|
|
|
|
2017-10-18 00:59:04 +02:00
|
|
|
if bit_name is not None:
|
|
|
|
|
bgcolor = "#ff0000"
|
|
|
|
|
title.append(bit_name)
|
|
|
|
|
|
|
|
|
|
if "LUT.INIT" in bit_name:
|
|
|
|
|
bgcolor = "#ffffaa"
|
2017-10-18 13:00:25 +02:00
|
|
|
m = re.search(r"(.)LUT.INIT\[(..)\]", bit_name)
|
2017-10-18 00:59:04 +02:00
|
|
|
label = m.group(1) + m.group(2)
|
|
|
|
|
|
2017-10-18 17:16:10 +02:00
|
|
|
if re.search(r"\.[ABCD]5?FF\.", bit_name):
|
|
|
|
|
bgcolor = "#aaffaa"
|
|
|
|
|
m = re.search(r"\.([ABCD]5?)FF\.([A-Z]+)", bit_name)
|
|
|
|
|
if m.group(2) == "ZINI":
|
|
|
|
|
label = m.group(1) + "Z"
|
|
|
|
|
else:
|
|
|
|
|
label = m.group(1) + "?"
|
|
|
|
|
|
2017-11-11 04:22:28 +01:00
|
|
|
if re.search(r"\.[ABCD]5?FF\.", bit_name):
|
|
|
|
|
bgcolor = "#aaffaa"
|
|
|
|
|
m = re.search(r"\.([ABCD]5?)FF\.([A-Z]+)", bit_name)
|
|
|
|
|
if m.group(2) == "ZINI":
|
|
|
|
|
label = m.group(1) + "Z"
|
|
|
|
|
else:
|
|
|
|
|
label = m.group(1) + "?"
|
|
|
|
|
|
|
|
|
|
if re.search(r"\.[ABCD]LUT5$", bit_name):
|
|
|
|
|
bgcolor = "#cccc88"
|
|
|
|
|
label = bit_name[-5] + "5"
|
|
|
|
|
|
2017-11-16 02:31:16 +01:00
|
|
|
if re.search(r"\.(CE|SR)USEDMUX$", bit_name):
|
|
|
|
|
bgcolor = "#ffaa00"
|
|
|
|
|
label = bit_name[-9:-7] + "M"
|
|
|
|
|
|
2017-11-16 05:36:52 +01:00
|
|
|
if re.search(r"\.CLKINV$", bit_name):
|
|
|
|
|
bgcolor = "#ffaa00"
|
|
|
|
|
label = "CLKI"
|
|
|
|
|
|
2017-11-12 17:31:22 +01:00
|
|
|
elif bit_pos in routebits[segtype]:
|
2017-11-19 21:08:35 +01:00
|
|
|
bgcolor = "#0000ff"
|
2017-11-11 09:53:22 +01:00
|
|
|
label = "R"
|
2017-11-16 05:36:52 +01:00
|
|
|
for bn in sorted(routebits[segtype][bit_pos]):
|
2017-11-16 23:12:21 +01:00
|
|
|
if re.match("^INT_[LR].[SNWE][SNWE]", bn):
|
2017-11-16 05:36:52 +01:00
|
|
|
bgcolor = "#aa88ff"
|
|
|
|
|
label = "SNWE"
|
2017-11-20 07:41:47 +01:00
|
|
|
elif re.match("^INT_[LR].IMUX", bn):
|
2017-11-16 05:36:52 +01:00
|
|
|
bgcolor = "#88aaff"
|
|
|
|
|
label = "IMUX"
|
2017-11-20 07:41:47 +01:00
|
|
|
elif re.match("^INT_[LR].BYP_ALT", bn):
|
2017-11-16 05:36:52 +01:00
|
|
|
bgcolor = "#7755ff"
|
|
|
|
|
label = "BALT"
|
2017-11-20 07:41:47 +01:00
|
|
|
elif re.match("^INT_[LR].FAN_ALT", bn):
|
2017-11-16 05:36:52 +01:00
|
|
|
bgcolor = "#4466bb"
|
|
|
|
|
label = "FALT"
|
2017-11-20 07:41:47 +01:00
|
|
|
elif re.match("^INT_[LR].[SNWE][RL]", bn):
|
2017-11-19 21:08:35 +01:00
|
|
|
bgcolor = "#4466bb"
|
2017-11-16 05:36:52 +01:00
|
|
|
label = "RL"
|
2017-11-20 07:41:47 +01:00
|
|
|
elif re.match("^INT_[LR].CLK", bn):
|
2017-11-19 21:08:35 +01:00
|
|
|
bgcolor = "#4466bb"
|
2017-11-19 09:31:24 +01:00
|
|
|
label = "CLK"
|
2017-11-20 07:41:47 +01:00
|
|
|
elif re.match("^INT_[LR].CTRL", bn):
|
2017-11-19 21:08:35 +01:00
|
|
|
bgcolor = "#7755ff"
|
|
|
|
|
label = "CTRL"
|
2017-11-20 07:41:47 +01:00
|
|
|
elif re.match("^INT_[LR].GFAN", bn):
|
2017-11-20 00:22:18 +01:00
|
|
|
bgcolor = "#7755ff"
|
|
|
|
|
label = "GFAN"
|
2017-11-20 07:41:47 +01:00
|
|
|
elif re.match("^INT_[LR].LVB", bn):
|
|
|
|
|
bgcolor = "#88aaff"
|
|
|
|
|
label = "LVB"
|
|
|
|
|
elif re.match("^INT_[LR].LV", bn):
|
|
|
|
|
bgcolor = "#88aaff"
|
|
|
|
|
label = "LV"
|
|
|
|
|
elif re.match("^INT_[LR].LH", bn):
|
|
|
|
|
bgcolor = "#4466bb"
|
|
|
|
|
label = "LH"
|
2017-11-17 18:49:27 +01:00
|
|
|
piptypes[bit_pos] = label
|
2017-11-16 05:36:52 +01:00
|
|
|
title.append(bn)
|
2017-11-11 09:53:22 +01:00
|
|
|
|
2017-11-14 01:29:15 +01:00
|
|
|
if label is None:
|
|
|
|
|
label = " "
|
2017-11-16 05:42:40 +01:00
|
|
|
title.append("UNKNOWN")
|
2017-11-16 02:31:16 +01:00
|
|
|
onclick = ""
|
2017-11-14 01:29:15 +01:00
|
|
|
else:
|
2017-11-16 02:31:16 +01:00
|
|
|
onclick = " onmousedown=\"location.href = '#b%s'\"" % bit_pos
|
2017-11-14 01:29:15 +01:00
|
|
|
|
2017-11-25 22:11:18 +01:00
|
|
|
if bgcolor in ["#aaaaaa", "#444444"]:
|
|
|
|
|
gray_bits += 1
|
|
|
|
|
else:
|
|
|
|
|
colored_bits += 1
|
|
|
|
|
|
2017-11-16 05:36:52 +01:00
|
|
|
print("<td bgcolor=\"%s\" align=\"center\" title=\"%s\"%s><span style=\"font-size:10px\">%s</span></td>" %
|
2017-11-16 02:31:16 +01:00
|
|
|
(bgcolor, "\n".join(title), onclick, label), file=f)
|
2017-11-12 21:05:51 +01:00
|
|
|
print("</tr>", file=f)
|
|
|
|
|
print("</table>", file=f)
|
2017-10-18 00:59:04 +02:00
|
|
|
|
2017-11-19 09:42:38 +01:00
|
|
|
print("<div>", file=f)
|
2017-10-18 13:00:25 +02:00
|
|
|
|
2017-11-25 22:11:18 +01:00
|
|
|
if True:
|
|
|
|
|
print(" gray: %d, colored: %d, total: %d, percentage: %.2f%%" % (gray_bits, colored_bits,
|
|
|
|
|
gray_bits + colored_bits, 100 * colored_bits / (gray_bits + colored_bits)))
|
|
|
|
|
|
2017-11-11 04:22:28 +01:00
|
|
|
bits_by_prefix = dict()
|
2017-10-18 13:00:25 +02:00
|
|
|
|
2017-11-11 04:22:28 +01:00
|
|
|
for bit_name, bit_pos in segbits[segtype].items():
|
|
|
|
|
prefix = ".".join(bit_name.split(".")[0:-1])
|
2017-10-18 13:00:25 +02:00
|
|
|
|
2017-11-11 04:22:28 +01:00
|
|
|
if prefix not in bits_by_prefix:
|
|
|
|
|
bits_by_prefix[prefix] = set()
|
2017-10-18 13:00:25 +02:00
|
|
|
|
2017-11-11 04:22:28 +01:00
|
|
|
bits_by_prefix[prefix].add((bit_name, bit_pos))
|
|
|
|
|
|
|
|
|
|
for prefix, bits in sorted(bits_by_prefix.items()):
|
2017-11-14 01:29:15 +01:00
|
|
|
for bit_name, bit_pos in sorted(bits):
|
|
|
|
|
print("<a id=\"b%s\"/>" % bit_pos, file=f)
|
|
|
|
|
|
2017-11-12 21:05:51 +01:00
|
|
|
print("<p/>", file=f)
|
|
|
|
|
print("<h4>%s</h4>" % prefix, file=f)
|
|
|
|
|
print("<table cellspacing=0>", file=f)
|
|
|
|
|
print("<tr><th width=\"400\" align=\"left\">Bit Name</th><th>Position</th></tr>", file=f)
|
2017-11-11 04:22:28 +01:00
|
|
|
|
|
|
|
|
trstyle = ""
|
|
|
|
|
for bit_name, bit_pos in sorted(bits):
|
|
|
|
|
trstyle = " bgcolor=\"#dddddd\"" if trstyle == "" else ""
|
|
|
|
|
print("<tr%s><td>%s</td><td>%s</td></tr>" % (trstyle, bit_name, bit_pos), file=f)
|
|
|
|
|
|
2017-11-12 21:05:51 +01:00
|
|
|
print("</table>", file=f)
|
|
|
|
|
|
|
|
|
|
ruf = UnionFind()
|
2017-11-18 02:51:46 +01:00
|
|
|
routebits_routezbits = list(routebits[segtype].items())
|
|
|
|
|
routebits_routezbits += list(routezbits[segtype].items())
|
2017-11-12 21:05:51 +01:00
|
|
|
|
2017-11-18 02:51:46 +01:00
|
|
|
for bit, pips in routebits_routezbits:
|
2017-11-14 01:29:15 +01:00
|
|
|
for pip in pips:
|
|
|
|
|
grp = pip.split('.')[1]
|
|
|
|
|
ruf.union(grp, bit)
|
2017-11-12 21:05:51 +01:00
|
|
|
|
|
|
|
|
rgroups = dict()
|
|
|
|
|
rgroup_names = dict()
|
|
|
|
|
|
2017-11-18 02:51:46 +01:00
|
|
|
for bit, pips in routebits_routezbits:
|
2017-11-12 21:05:51 +01:00
|
|
|
for pip in pips:
|
|
|
|
|
grp_name = pip.split('.')[1]
|
|
|
|
|
grp = ruf.find(grp_name)
|
|
|
|
|
if grp not in rgroup_names:
|
|
|
|
|
rgroup_names[grp] = set()
|
|
|
|
|
rgroup_names[grp].add(grp_name)
|
|
|
|
|
if grp not in rgroups:
|
|
|
|
|
rgroups[grp] = dict()
|
|
|
|
|
if pip not in rgroups[grp]:
|
|
|
|
|
rgroups[grp][pip] = set()
|
|
|
|
|
rgroups[grp][pip].add(bit)
|
|
|
|
|
|
2017-11-14 01:29:15 +01:00
|
|
|
shared_bits = dict()
|
2017-11-18 02:51:46 +01:00
|
|
|
for bit, pips in routebits_routezbits:
|
2017-11-14 01:29:15 +01:00
|
|
|
for pip in pips:
|
|
|
|
|
grp_name = pip.split('.')[1]
|
|
|
|
|
if bit not in shared_bits:
|
|
|
|
|
shared_bits[bit] = set()
|
|
|
|
|
shared_bits[bit].add(grp_name)
|
2017-11-13 02:32:06 +01:00
|
|
|
|
2017-11-17 18:49:27 +01:00
|
|
|
rgroups_with_title = list()
|
|
|
|
|
|
2017-11-12 21:05:51 +01:00
|
|
|
for grp, gdata in sorted(rgroups.items()):
|
2017-11-17 18:49:27 +01:00
|
|
|
title = ""
|
|
|
|
|
for pip, bits in gdata.items():
|
|
|
|
|
for bit in bits:
|
|
|
|
|
if bit in piptypes:
|
|
|
|
|
# title = piptypes[bit] + "-"
|
|
|
|
|
pass
|
|
|
|
|
else:
|
|
|
|
|
print("Detected DB error in PIP %s %s" % (pip, bits))
|
|
|
|
|
title += "PIPs driving " + ", ".join(sorted(rgroup_names[grp]))
|
|
|
|
|
rgroups_with_title.append((title, grp, gdata))
|
|
|
|
|
|
|
|
|
|
for title, grp, gdata in sorted(rgroups_with_title):
|
2017-11-12 21:05:51 +01:00
|
|
|
grp_bits = set()
|
|
|
|
|
for pip, bits in gdata.items():
|
|
|
|
|
grp_bits |= bits
|
2017-11-27 00:33:42 +01:00
|
|
|
|
|
|
|
|
def bit_key(b):
|
|
|
|
|
if b in zero_bits:
|
|
|
|
|
return "b" + b
|
|
|
|
|
return "a" + b
|
|
|
|
|
|
|
|
|
|
grp_bits = sorted(grp_bits, key=bit_key)
|
2017-11-12 21:05:51 +01:00
|
|
|
|
2017-11-14 01:29:15 +01:00
|
|
|
for bit in grp_bits:
|
|
|
|
|
print("<a id=\"b%s\"/>" % bit, file=f)
|
|
|
|
|
|
|
|
|
|
print("<p/>", file=f)
|
2017-11-17 18:49:27 +01:00
|
|
|
print("<h4>%s</h4>" % title, file=f)
|
2017-11-14 01:29:15 +01:00
|
|
|
print("<table cellspacing=0>", file=f)
|
|
|
|
|
print("<tr><th width=\"400\" align=\"left\">PIP</th>", file=f)
|
|
|
|
|
|
2017-11-12 21:05:51 +01:00
|
|
|
for bit in grp_bits:
|
|
|
|
|
print("<th> %s </th>" % bit, file=f)
|
|
|
|
|
print("</tr>", file=f)
|
|
|
|
|
|
|
|
|
|
lines = list()
|
|
|
|
|
for pip, bits in sorted(gdata.items()):
|
|
|
|
|
line = " --><td>%s</td>" % (pip)
|
|
|
|
|
for bit in grp_bits:
|
2017-11-18 02:51:46 +01:00
|
|
|
c = "-"
|
|
|
|
|
if bit in routebits[segtype] and pip in routebits[segtype][bit]: c = "1"
|
|
|
|
|
if bit in routezbits[segtype] and pip in routezbits[segtype][bit]: c = "0"
|
2017-11-12 21:05:51 +01:00
|
|
|
line = "%s%s<td align=\"center\">%s</td>" % (c, line, c)
|
|
|
|
|
lines.append(line)
|
|
|
|
|
|
|
|
|
|
trstyle = ""
|
|
|
|
|
for line in sorted(lines):
|
|
|
|
|
trstyle = " bgcolor=\"#dddddd\"" if trstyle == "" else ""
|
|
|
|
|
print("<tr%s><!-- %s</tr>" % (trstyle, line), file=f)
|
|
|
|
|
|
|
|
|
|
print("</table>", file=f)
|
2017-10-18 13:00:25 +02:00
|
|
|
|
2017-11-14 01:29:15 +01:00
|
|
|
first_note = True
|
|
|
|
|
for bit in grp_bits:
|
|
|
|
|
if len(shared_bits[bit]) > 1:
|
|
|
|
|
if first_note:
|
|
|
|
|
print("<p><b>Note(s):</b><br/>", file=f)
|
2017-11-27 00:33:42 +01:00
|
|
|
print("Warning: Groups sharing bit %s: %s." % (bit, ", ".join(sorted(shared_bits[bit]))))
|
2017-11-14 01:29:15 +01:00
|
|
|
print("Groups sharing bit <b>%s</b>: %s.<br/>" % (bit, ", ".join(sorted(shared_bits[bit]))), file=f)
|
|
|
|
|
first_note = False
|
|
|
|
|
if not first_note:
|
|
|
|
|
print("</p>", file=f)
|
2017-11-13 02:32:06 +01:00
|
|
|
|
2017-11-19 09:42:38 +01:00
|
|
|
print("</div>", file=f)
|
2017-10-18 00:59:04 +02:00
|
|
|
print("</body></html>", file=f)
|
|
|
|
|
|
