Imported full dev sources

1 files changed, 84 insertions, 0 deletions

diff --git a/icefuzz/make_gbio.py b/icefuzz/make_gbio.py
new file mode 100644
index 0000000..8f08202
--- /dev/null
+++ b/icefuzz/make_gbio.py
@@ -0,0 +1,84 @@
+#!/usr/bin/python
+
+from __future__ import division
+from __future__ import print_function
+from fuzzconfig import *
+import numpy as np
+import os
+
+os.system("rm -rf work_gbio")
+os.mkdir("work_gbio")
+
+for idx in range(num):
+    with open("work_gbio/gbio_%02d.v" % idx, "w") as f:
+        glbs = np.random.permutation(range(8))
+        print("""
+            module top (
+                inout [7:0] pin,
+                input latch_in,
+                input clk_en,
+                input clk_in,
+                input clk_out,
+                input oen,
+                input dout_0,
+                input dout_1,
+                output [7:0] din_0,
+                output [7:0] din_1,
+                output [7:0] globals,
+                output reg q
+            );
+                SB_GB_IO #(
+                    .PIN_TYPE(6'b 1100_00),
+                    .PULLUP(1'b0),
+                    .NEG_TRIGGER(1'b0),
+                    .IO_STANDARD("SB_LVCMOS")
+                ) PINS [7:0] (
+                    .PACKAGE_PIN(pin),
+                    .LATCH_INPUT_VALUE(%s),
+                    .CLOCK_ENABLE(%s),
+                    .INPUT_CLK(%s),
+                    .OUTPUT_CLK(%s),
+                    .OUTPUT_ENABLE(%s),
+                    .D_OUT_0(%s),
+                    .D_OUT_1(%s),
+                    .D_IN_0(%s),
+                    .D_IN_1(%s),
+                    .GLOBAL_BUFFER_OUTPUT(%s)
+                );
+
+                always @(posedge globals[%d], posedge globals[%d])
+                    if (globals[%d])
+                        q <= 0;
+                    else if (globals[%d])
+                        q <= globals[%d];
+            endmodule
+        """ % (
+            np.random.choice(["latch_in", "globals", "din_0+din_1", "din_0^din_1"]),
+            np.random.choice(["clk_en",   "globals", "din_0+din_1", "din_0^din_1"]),
+            np.random.choice(["clk_in",   "globals", "din_0+din_1", "din_0^din_1"]),
+            np.random.choice(["clk_out",  "globals", "din_0+din_1", "din_0^din_1"]),
+            np.random.choice(["oen",      "globals", "din_0+din_1", "din_0^din_1"]),
+            np.random.choice(["dout_1",   "globals", "globals^dout_0", "din_0+din_1", "~din_0"]),
+            np.random.choice(["dout_0",   "globals", "globals^dout_1", "din_0+din_1", "~din_1"]),
+            np.random.choice(["din_0",    "{din_0[3:0], din_0[7:4]}"]),
+            np.random.choice(["din_1",    "{din_1[1:0], din_1[7:2]}"]),
+            np.random.choice(["globals",  "{globals[0], globals[7:1]}"]),
+            glbs[0], glbs[1], glbs[1], glbs[2], glbs[3]
+        ), file=f)
+    with open("work_gbio/gbio_%02d.pcf" % idx, "w") as f:
+        p = np.random.permutation(pins)
+        for i in range(8):
+            print("set_io pin[%d] %s" % (i, p[i]), file=f)
+            print("set_io din_0[%d] %s" % (i, p[8+i]), file=f)
+            print("set_io din_1[%d] %s" % (i, p[2*8+i]), file=f)
+            print("set_io globals[%d] %s" % (i, p[3*8+i]), file=f)
+        for i, n in enumerate("latch_in clk_en clk_in clk_out oen dout_0 dout_1".split()):
+            print("set_io %s %s" % (n, p[4*8+i]), file=f)
+        print("set_io q %s" % (p[-1]), file=f)
+
+with open("work_gbio/Makefile", "w") as f:
+    print("all: %s" % " ".join(["gbio_%02d.bin" % i for i in range(num)]), file=f)
+    for i in range(num):
+        print("gbio_%02d.bin:" % i, file=f)
+        print("\t-bash ../icecube.sh gbio_%02d > gbio_%02d.log 2>&1 && rm -rf gbio_%02d.tmp || tail gbio_%02d.log" % (i, i, i, i), file=f)
+