From: Clifford Wolf <clifford@clifford.at>
Date: Tue, 28 Feb 2017 12:54:50 +0000 (+0100)
Subject: Use hex addresses in smtbmc vcd mem traces
X-Git-Tag: yosys-0.8~464
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fbd52ec6dd610966111ebf2ed0e31548aead3dc6;p=yosys.git

Use hex addresses in smtbmc vcd mem traces
---

diff --git a/backends/smt2/smtbmc.py b/backends/smt2/smtbmc.py
index b587981bc..5b5ade103 100644
--- a/backends/smt2/smtbmc.py
+++ b/backends/smt2/smtbmc.py
@@ -637,7 +637,7 @@ def write_vcd_trace(steps_start, steps_stop, index):
                 assert len(tdata) == len(rdata)
 
                 netpath = mempath[:]
-                netpath[-1] += "<%d>" % int(addr, 2)
+                netpath[-1] += "<%0*x>" % ((len(addr)+3) // 4, int(addr, 2))
                 vcd.add_net([topmod] + netpath, width)
 
                 for i in range(steps_start, steps_stop):