diff options
Diffstat (limited to 'icefuzz')
| -rw-r--r-- | icefuzz/Makefile | 3 | ||||
| -rw-r--r-- | icefuzz/timings.py | 174 |
2 files changed, 139 insertions, 38 deletions
diff --git a/icefuzz/Makefile b/icefuzz/Makefile index bde8c35..d358741 100644 --- a/icefuzz/Makefile +++ b/icefuzz/Makefile @@ -51,6 +51,9 @@ else mv timings_1k.new timings_1k.txt endif +timings_html: + python3 timings.py -h tmedges_1k.txt -t timings_1k.txt -l "HX1K with default temp/volt settings" > timings_1k.html + data_cached.txt: cached_io.txt cached_logic.txt cached_ramb$(EIGTHK).txt cached_ramt$(EIGTHK).txt gawk '{ print "io", $$0; }' cached_io.txt > data_cached.new gawk '{ print "logic", $$0; }' cached_logic.txt >> data_cached.new diff --git a/icefuzz/timings.py b/icefuzz/timings.py index 7869587..a73d35e 100644 --- a/icefuzz/timings.py +++ b/icefuzz/timings.py @@ -5,8 +5,9 @@ import getopt, sys, re database = dict() sdf_inputs = list() txt_inputs = list() -output_sdf = False - +output_mode = "txt" +label = "unknown" +edgefile = None def usage(): print(""" @@ -15,6 +16,12 @@ Usage: python3 timings.py [options] [sdf_file..] -t filename read TXT file + -l label + label for HTML file title + + -h edgefile + output HTML, use specified edge file + -s output SDF (not TXT) format """) @@ -22,21 +29,31 @@ Usage: python3 timings.py [options] [sdf_file..] try: - opts, args = getopt.getopt(sys.argv[1:], "t:s") + opts, args = getopt.getopt(sys.argv[1:], "t:l:h:s") except: usage() for o, a in opts: if o == "-t": txt_inputs.append(a) + elif o == "-l": + label = a + elif o == "-h": + output_mode = "html" + edgefile = a elif o == "-s": - output_sdf = True + output_mode = "sdf" else: usage() sdf_inputs += args +convert = lambda text: int(text) if text.isdigit() else text.lower() +alphanum_key = lambda key: [ convert(c) for c in re.split('([0-9]+)', key) ] +alphanum_key_list = lambda l: [len(l)] + [ alphanum_key(s) for s in l ] + + def skip_whitespace(text, cursor): while cursor < len(text) and text[cursor] in [" ", "\t", "\r", "\n"]: cursor += 1 @@ -130,6 +147,37 @@ def uniquify_cells(expr): return filtered_expr +def rewrite_celltype(celltype): + if celltype.startswith("PRE_IO_PIN_TYPE_"): + celltype = "PRE_IO_PIN_TYPE" + + if celltype.startswith("Span4Mux"): + if celltype == "Span4Mux": + celltype = "Span4Mux_v4" + elif celltype == "Span4Mux_v": + celltype = "Span4Mux_v4" + elif celltype == "Span4Mux_h": + celltype = "Span4Mux_h4" + else: + match = re.match("Span4Mux_s(.*)_(h|v)", celltype) + if match: + celltype = "Span4Mux_%c%d" % (match.group(2), int(match.group(1))) + + if celltype.startswith("Span12Mux"): + if celltype == "Span12Mux": + celltype = "Span12Mux_v12" + elif celltype == "Span12Mux_v": + celltype = "Span12Mux_v12" + elif celltype == "Span12Mux_h": + celltype = "Span12Mux_h12" + else: + match = re.match("Span12Mux_s(.*)_(h|v)", celltype) + if match: + celltype = "Span12Mux_%c%d" % (match.group(2), int(match.group(1))) + + return celltype + + ########################################### # Parse SDF input files @@ -163,33 +211,7 @@ for filename in sdf_inputs: for stmt in cell: if stmt[0] == "CELLTYPE": - celltype = stmt[1][1:-1] - - if celltype.startswith("PRE_IO_PIN_TYPE_"): - celltype = "PRE_IO_PIN_TYPE" - - if celltype.startswith("Span4Mux"): - if celltype == "Span4Mux": - celltype = "Span4Mux_v4" - elif celltype == "Span4Mux_v": - celltype = "Span4Mux_v4" - elif celltype == "Span4Mux_h": - celltype = "Span4Mux_h4" - else: - match = re.match("Span4Mux_s(.*)_(h|v)", celltype) - celltype = "Span4Mux_%c%d" % (match.group(2), int(match.group(1))) - - if celltype.startswith("Span12Mux"): - if celltype == "Span12Mux": - celltype = "Span12Mux_v12" - elif celltype == "Span12Mux_v": - celltype = "Span12Mux_v12" - elif celltype == "Span12Mux_h": - celltype = "Span12Mux_h12" - else: - match = re.match("Span12Mux_s(.*)_(h|v)", celltype) - celltype = "Span12Mux_%c%d" % (match.group(2), int(match.group(1))) - + celltype = rewrite_celltype(stmt[1][1:-1]) database.setdefault(celltype, set()) if stmt[0] == "DELAY": @@ -214,7 +236,7 @@ for filename in txt_inputs: line = line.split() if len(line) > 1: if line[0] == "CELL": - celltype = line[1] + celltype = rewrite_celltype(line[1]) database.setdefault(celltype, set()) else: database[celltype].add(tuple(line)) @@ -223,11 +245,7 @@ for filename in txt_inputs: ########################################### # Create SDF output -convert = lambda text: int(text) if text.isdigit() else text.lower() -alphanum_key = lambda key: [ convert(c) for c in re.split('([0-9]+)', key) ] -alphanum_key_list = lambda l: [len(l)] + [ alphanum_key(s) for s in l ] - -if output_sdf: +if output_mode == "sdf": print("(DELAYFILE") print(" (SDFVERSION \"3.0\")") print(" (TIMESCALE 1ps)") @@ -280,7 +298,7 @@ if output_sdf: ########################################### # Create TXT output -else: +if output_mode == "txt": for celltype in sorted(database, key=alphanum_key): print("CELL %s" % celltype) entries_lens = list() @@ -296,3 +314,83 @@ else: print() print() + +########################################### +# Create HTML output + +if output_mode == "html": + print("<h1>IceStorm Timing Model: %s</h1>" % label) + + print("<div style=\"-webkit-column-count: 3; -moz-column-count: 3; column-count: 3;\"><ul style=\"margin:0\">") + for celltype in sorted(database, key=alphanum_key): + print("<li><a href=\"#%s\">%s</a></li>" % (celltype, celltype)) + print("</ul></div>") + + source_by_sink_desc = dict() + sink_by_source_desc = dict() + + with open(edgefile, "r") as f: + for line in f: + source, sink = line.split() + source_cell, source_port = source.split(".") + sink_cell, sink_port = sink.split(".") + source_cell = rewrite_celltype(source_cell) + sink_cell = rewrite_celltype(sink_cell) + source_by_sink_desc.setdefault(sink_cell, set()) + sink_by_source_desc.setdefault(source_cell, set()) + source_by_sink_desc[sink_cell].add((sink_port, source_cell, source_port)) + sink_by_source_desc[source_cell].add((source_port, sink_cell, sink_port)) + + for celltype in sorted(database, key=alphanum_key): + print("<p><hr></p>") + print("<h2><a name=\"%s\">%s</a></h2>" % (celltype, celltype)) + + if celltype in source_by_sink_desc: + print("<h3>Sources driving this cell type:</h3>") + print("<table width=\"600\" border>") + print("<tr><th>Input Port</th><th>Source Cell</th><th>Source Port</th></tr>") + for entry in sorted(source_by_sink_desc[celltype], key=alphanum_key_list): + print("<tr><td>%s</td><td><a href=\"#%s\">%s</a></td><td>%s</td></tr>" % (entry[0], entry[1], entry[1], entry[2])) + print("</table>") + + if celltype in sink_by_source_desc: + print("<h3>Sinks driven by this cell type:</h3>") + print("<table width=\"600\" border>") + print("<tr><th>Output Port</th><th>Sink Cell</th><th>Sink Port</th></tr>") + for entry in sorted(sink_by_source_desc[celltype], key=alphanum_key_list): + print("<tr><td>%s</td><td><a href=\"#%s\">%s</a></td><td>%s</td></tr>" % (entry[0], entry[1], entry[1], entry[2])) + print("</table>") + + delay_abs_entries = list() + timingcheck_entries = list() + for entry in sorted(database[celltype], key=alphanum_key_list): + if entry[0] == "IOPATH": + delay_abs_entries.append(entry) + else: + timingcheck_entries.append(entry) + + if len(delay_abs_entries) > 0: + print("<h3>Propagation Delays:</h3>") + print("<table width=\"800\" border>") + print("<tr><th rowspan=\"2\">Input Port</th><th rowspan=\"2\">Output Port</th>") + print("<th colspan=\"3\">Low-High Transition</th><th colspan=\"3\">High-Low Transition</th></tr>") + print("<tr><th>Min</th><th>Typ</th><th>Max</th><th>Min</th><th>Typ</th><th>Max</th></tr>") + for entry in delay_abs_entries: + print("<tr><td>%s</td><td>%s</td>" % (entry[1].replace(":", " "), entry[2].replace(":", " ")), end="") + print("<td>%s</td><td>%s</td><td>%s</td>" % tuple(entry[3].split(":")), end="") + print("<td>%s</td><td>%s</td><td>%s</td>" % tuple(entry[4].split(":")), end="") + print("</tr>") + print("</table>") + + if len(timingcheck_entries) > 0: + print("<h3>Timing Checks:</h3>") + print("<table width=\"800\" border>") + print("<tr><th rowspan=\"2\">Check Type</th><th rowspan=\"2\">Input Port</th>") + print("<th rowspan=\"2\">Output Port</th><th colspan=\"3\">Timing</th></tr>") + print("<tr><th>Min</th><th>Typ</th><th>Max</th></tr>") + for entry in timingcheck_entries: + print("<tr><td>%s</td><td>%s</td><td>%s</td>" % (entry[0], entry[1].replace(":", " "), entry[2].replace(":", " ")), end="") + print("<td>%s</td><td>%s</td><td>%s</td>" % tuple(entry[3].split(":")), end="") + print("</tr>") + print("</table>") + |