utils: add sdfmerge tool

Signed-off-by: Karol Gugala <kgugala@antmicro.com>

fuzzers/007-timing/Makefile

@@ -3,6 +3,7 @@
 PRJ?=oneblinkw
 PRJN?=1
 
+run: all
 all: build/timgrid-v.json bel/build/sdf
 
 clean:

fuzzers/007-timing/bel/Makefile

@@ -11,4 +11,9 @@ build/bel_timings.json: build/bel_timings.txt
 
 build/sdf: build/bel_timings.json
 	python3 ${XRAY_UTILS_DIR}/makesdf.py --json=${PWD}/build/bel_timings.json --sdf=${PWD}/build
+	mkdir -p ${XRAY_DATABASE_DIR}/${XRAY_DATABASE}/timings
+	cp build/*sdf ${XRAY_DATABASE_DIR}/${XRAY_DATABASE}/timings
 	touch run.ok
+
+cleandb:
+	rm -rf ${XRAY_DATABASE_DIR}/${XRAY_DATABASE}/timings

utils/sdfmerge.py

@@ -0,0 +1,58 @@
+#!/usr/bin/env python3
+
+import argparse
+import json
+from sdf_timing import sdfparse
+
+
+def merge(timings_list, site):
+
+    merged_timings = dict()
+
+    for timings in timings_list:
+        divider = '/'
+        if 'divider' in timings['header']:
+            divider = timings['header']['divider']
+
+        for cell in timings['cells']:
+            for cell_instance in timings['cells'][cell]:
+                if site in cell_instance.split(divider):
+                    if 'cells' not in merged_timings:
+                        merged_timings['cells'] = dict()
+
+                    if cell in merged_timings['cells']:
+                        assert merged_timings['cells'][cell] == \
+                               timings['cells'][cell],          \
+                               "Attempting to merge differing cells"
+
+                    merged_timings['cells'][cell] = timings['cells'][cell]
+
+    return merged_timings
+
+
+def main():
+
+    parser = argparse.ArgumentParser()
+    parser.add_argument(
+        '--sdfs', nargs='+', type=str, help="List of sdf files to merge")
+    parser.add_argument('--site', type=str, help="Site we want to merge")
+    parser.add_argument('--json', type=str, help="Debug JSON")
+
+    args = parser.parse_args()
+
+    timings_list = list()
+
+    for sdf in args.sdfs:
+        with open(sdf, 'r') as fp:
+            timing = sdfparse.parse(fp.read())
+            timings_list.append(timing)
+
+    merged_sdf = merge(timings_list, args.site)
+
+    if args.json is not None:
+        with open(args.json, 'w') as fp:
+            json.dump(merged_sdf, fp, indent=4, sort_keys=True)
+
+
+if __name__ == '__main__':
+    main()