diff options
-rw-r--r-- | icefuzz/make_aig.py | 2 | ||||
-rw-r--r-- | icefuzz/make_gbio.py | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/icefuzz/make_aig.py b/icefuzz/make_aig.py index 60f5946..6880f21 100644 --- a/icefuzz/make_aig.py +++ b/icefuzz/make_aig.py @@ -30,7 +30,7 @@ for idx in range(num): sigs.append(newnet) - while len(sigs) > 32: + while len(sigs) > w: netidx += 1 newnet = "n_%d" % netidx diff --git a/icefuzz/make_gbio.py b/icefuzz/make_gbio.py index a12bea9..b9b2f12 100644 --- a/icefuzz/make_gbio.py +++ b/icefuzz/make_gbio.py @@ -25,7 +25,7 @@ for idx in range(num): if w <= 4: din_0 = (w - 2, w) 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_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, )]) |