luke
/
icestorm
mirror of https://github.com/YosysHQ/icestorm.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix some bugs in two of the icefuzz make_*.py scripts

This commit is contained in:
Clifford Wolf 2017-07-31 15:56:58 +02:00
parent ea0e19f3d3
commit b888b750a6
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
icefuzz/make_aig.py
View File

@ -30,7 +30,7 @@ for idx in range(num):
sigs.append(newnet) sigs.append(newnet)
while len(sigs) > 32: while len(sigs) > w:
netidx += 1 netidx += 1
newnet = "n_%d" % netidx newnet = "n_%d" % netidx

2
icefuzz/make_gbio.py
View File

@ -25,7 +25,7 @@ for idx in range(num):
if w <= 4: if w <= 4:
din_0 = (w - 2, w) din_0 = (w - 2, w)
else: else:
din_0 = (4, "%d:4" % (w - 1,)) din_0 = (3, "%d:4" % (w - 1,))
din_0 = np.random.choice(["din_0", "{din_0[%d:0], din_0[%s]}" % din_0]) din_0 = np.random.choice(["din_0", "{din_0[%d:0], din_0[%s]}" % din_0])
din_1 = np.random.choice(["din_1", "{din_1[1:0], din_1[%d:2]}" % (w - 1,)]) din_1 = np.random.choice(["din_1", "{din_1[1:0], din_1[%d:2]}" % (w - 1,)])
globals_0 = np.random.choice(["globals", "{globals[0], globals[%d:1]}" % (w - 1, )]) globals_0 = np.random.choice(["globals", "{globals[0], globals[%d:1]}" % (w - 1, )])