mirror of https://github.com/YosysHQ/icestorm.git
Added html timing model dumps
This commit is contained in:
Clifford Wolf
parent
d0f89d1bf1
commit
1bbe5b8da8
|
|
@ -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
|
||||
|
|
|
|||
|
|
@ -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>")
|
||||
|
||||
|
|
|
|||
Loading…
Reference in New Issue