mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-30 19:22:31 +00:00
Code Activity

Use hex addresses in smtbmc vcd mem traces

Browse source
This commit is contained in:
Clifford Wolf 2017-02-28 13:54:50 +01:00
parent 1a6c02a532
commit fbd52ec6dd
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
backends/smt2/smtbmc.py
View file

@ -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):