Added icebox_stat.py

icebox/Makefile

diff --git a/icebox/Makefile b/icebox/Makefile
index 43d4664..3db1a50 100644
--- a/icebox/Makefile
+++ b/icebox/Makefile
@@ -28,6 +28,7 @@
 	cp icebox_html.py    $(DESTDIR)$(PREFIX)/bin/icebox_html
 	cp icebox_maps.py    $(DESTDIR)$(PREFIX)/bin/icebox_maps
 	cp icebox_vlog.py    $(DESTDIR)$(PREFIX)/bin/icebox_vlog
+	cp icebox_stat.py    $(DESTDIR)$(PREFIX)/bin/icebox_stat
 
 uninstall:
 	rm -f $(DESTDIR)$(PREFIX)/bin/icebox.py
@@ -39,6 +40,7 @@
 	rm -f $(DESTDIR)$(PREFIX)/bin/icebox_html
 	rm -f $(DESTDIR)$(PREFIX)/bin/icebox_maps
 	rm -f $(DESTDIR)$(PREFIX)/bin/icebox_vlog
+	rm -f $(DESTDIR)$(PREFIX)/bin/icebox_stat
 	rm -f $(DESTDIR)$(PREFIX)/share/icebox/chipdb-1k.txt
 	rm -f $(DESTDIR)$(PREFIX)/share/icebox/chipdb-8k.txt
 	-rmdir $(DESTDIR)$(PREFIX)/share/icebox

icebox/icebox_stat.py

diff --git a/icebox/icebox_stat.py b/icebox/icebox_stat.py
new file mode 100755
index 0000000..ffb7b6a
--- /dev/null
+++ b/icebox/icebox_stat.py
@@ -0,0 +1,139 @@
+#!/usr/bin/env python3
+#
+#  Copyright (C) 2015  Clifford Wolf <clifford@clifford.at>
+#
+#  Permission to use, copy, modify, and/or distribute this software for any
+#  purpose with or without fee is hereby granted, provided that the above
+#  copyright notice and this permission notice appear in all copies.
+#
+#  THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
+#  WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
+#  MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
+#  ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
+#  WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
+#  ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
+#  OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
+#
+
+import icebox
+import getopt, sys, re
+
+verbose = False
+
+def usage():
+    print("""
+Usage: icebox_stat [options] [bitmap.asc]
+
+    -v
+        verbose output
+
+""")
+    sys.exit(0)
+
+try:
+    opts, args = getopt.getopt(sys.argv[1:], "v")
+except:
+    usage()
+
+for o, a in opts:
+    if o == "-v":
+        verbose = True
+    else:
+        usage()
+
+if len(args) == 0:
+    args.append("/dev/stdin")
+
+if len(args) != 1:
+    usage()
+
+if verbose:
+    print("Reading input file.")
+
+ic = icebox.iceconfig()
+ic.read_file(args[0])
+
+dff_locations = set()
+lut_locations = set()
+carry_locations = set()
+bram_locations = set()
+io_locations = set()
+pll_locations = set()
+global_nets = set()
+
+if verbose:
+    print("Analyzing connectivity.")
+
+connections = sorted(ic.group_segments())
+
+if verbose:
+    print("Counting resources.")
+
+for segs in connections:
+    for seg in segs:
+        if ic.tile_type(seg[0], seg[1]) == "IO" and seg[2].startswith("io_"):
+            match = re.match("io_(\d+)/D_(IN|OUT)_(\d+)", seg[2])
+            if match:
+                loc = (seg[0], seg[1], int(match.group(1)))
+                io_locations.add(loc)
+
+        if ic.tile_type(seg[0], seg[1]) == "LOGIC" and seg[2].startswith("lutff_"):
+            match = re.match("lutff_(\d)/in_\d", seg[2])
+            if match:
+                loc = (seg[0], seg[1], int(match.group(1)))
+                lut_locations.add(loc)
+
+            match = re.match("lutff_(\d)/cout", seg[2])
+            if match:
+                loc = (seg[0], seg[1], int(match.group(1)))
+                carry_locations.add(loc)
+
+            match = re.match("lutff_(\d)/out", seg[2])
+            if match:
+                loc = (seg[0], seg[1], int(match.group(1)))
+                seq_bits = icebox.get_lutff_seq_bits(ic.tile(loc[0], loc[1]), loc[2])
+                if seq_bits[1] == "1":
+                    dff_locations.add(loc)
+
+        if ic.tile_type(seg[0], seg[1]) in ("RAMB", "RAMT") and seg[2].startswith("ram/"):
+            loc = (seg[0], seg[1] - (seg[1] % 2))
+            bram_locations.add(loc)
+
+        if seg[2].startswith("glb_netwk_"):
+            match = re.match("glb_netwk_(\d)", seg[2])
+            if match:
+                global_nets.add(int(match.group(1)))
+
+pll_config_bitidx = dict()
+
+for entry in icebox.iotile_l_db:
+    if entry[1] == "PLL":
+        match = re.match(r"B(\d+)\[(\d+)\]", entry[0][0]);
+        assert match
+        pll_config_bitidx[entry[2]] = (int(match.group(1)), int(match.group(2)))
+
+def get_pll_bit(pllinfo, name):
+    bit = pllinfo[name]
+    assert bit[2] in pll_config_bitidx
+    return ic.tile(bit[0], bit[1])[pll_config_bitidx[bit[2]][0]][pll_config_bitidx[bit[2]][1]]
+
+def get_pll_bits(pllinfo, name, n):
+    return "".join([get_pll_bit(pllinfo, "%s_%d" % (name, i)) for i in range(n-1, -1, -1)])
+
+for pllid in ic.pll_list():
+    pllinfo = icebox.pllinfo_db[pllid]
+    plltype = get_pll_bits(pllinfo, "PLLTYPE", 3)
+    if plltype != "000":
+        pll_locations.add(pllid)
+
+if verbose:
+    print()
+
+print("DFFs:   %4d" % len(dff_locations))
+print("LUTs:   %4d" % len(lut_locations))
+print("CARRYs: %4d" % len(carry_locations))
+print("BRAMs:  %4d" % len(bram_locations))
+print("IOBs:   %4d" % len(io_locations))
+print("PLLs:   %4d" % len(pll_locations))
+print("GLBs:   %4d" % len(global_nets))
+