Fuzzed RamCascade bits

5 files changed, 118 insertions, 1 deletions

diff --git a/icefuzz/Makefile b/icefuzz/Makefile
index 702bbea..9140b3c 100644
--- a/icefuzz/Makefile
+++ b/icefuzz/Makefile
@@ -15,6 +15,7 @@ TESTS += gbio2
 TESTS += prim
 TESTS += fflogic
 TESTS += ram40
+TESTS += mem
 TESTS += pll
 
 EIGTHK = _8k
diff --git a/icefuzz/cached_ramt.txt b/icefuzz/cached_ramt.txt
index 84c2126..d03bb92 100644
--- a/icefuzz/cached_ramt.txt
+++ b/icefuzz/cached_ramt.txt
@@ -3459,6 +3459,42 @@
 (7 1) Ram config bit: MEMT_bram_cbit_0
 (7 2) Ram config bit: MEMT_bram_cbit_3
 (7 3) Ram config bit: MEMT_bram_cbit_2
+(7 4) Cascade buffer Enable bit: MEMT_LC00_inmux00_bram_cbit_5
+(7 4) Cascade buffer Enable bit: MEMT_LC01_inmux00_bram_cbit_5
+(7 4) Cascade buffer Enable bit: MEMT_LC01_inmux02_bram_cbit_5
+(7 4) Cascade buffer Enable bit: MEMT_LC02_inmux00_bram_cbit_5
+(7 4) Cascade buffer Enable bit: MEMT_LC04_inmux00_bram_cbit_5
+(7 4) Cascade buffer Enable bit: MEMT_LC05_inmux00_bram_cbit_5
+(7 4) Cascade buffer Enable bit: MEMT_LC06_inmux00_bram_cbit_5
+(7 4) Cascade buffer Enable bit: MEMT_LC07_inmux00_bram_cbit_5
+(7 5) Cascade bit: MEMT_LC00_inmux00_bram_cbit_4
+(7 5) Cascade bit: MEMT_LC01_inmux00_bram_cbit_4
+(7 5) Cascade bit: MEMT_LC01_inmux02_bram_cbit_4
+(7 5) Cascade bit: MEMT_LC02_inmux00_bram_cbit_4
+(7 5) Cascade bit: MEMT_LC04_inmux00_bram_cbit_4
+(7 5) Cascade bit: MEMT_LC05_inmux00_bram_cbit_4
+(7 5) Cascade bit: MEMT_LC06_inmux00_bram_cbit_4
+(7 5) Cascade bit: MEMT_LC07_inmux00_bram_cbit_4
+(7 6) Cascade buffer Enable bit: MEMT_LC00_inmux00_bram_cbit_7
+(7 6) Cascade buffer Enable bit: MEMT_LC00_inmux02_bram_cbit_7
+(7 6) Cascade buffer Enable bit: MEMT_LC01_inmux00_bram_cbit_7
+(7 6) Cascade buffer Enable bit: MEMT_LC01_inmux02_bram_cbit_7
+(7 6) Cascade buffer Enable bit: MEMT_LC02_inmux00_bram_cbit_7
+(7 6) Cascade buffer Enable bit: MEMT_LC03_inmux00_bram_cbit_7
+(7 6) Cascade buffer Enable bit: MEMT_LC04_inmux00_bram_cbit_7
+(7 6) Cascade buffer Enable bit: MEMT_LC05_inmux00_bram_cbit_7
+(7 6) Cascade buffer Enable bit: MEMT_LC06_inmux00_bram_cbit_7
+(7 6) Cascade buffer Enable bit: MEMT_LC07_inmux00_bram_cbit_7
+(7 7) Cascade bit: MEMT_LC00_inmux00_bram_cbit_6
+(7 7) Cascade bit: MEMT_LC00_inmux02_bram_cbit_6
+(7 7) Cascade bit: MEMT_LC01_inmux00_bram_cbit_6
+(7 7) Cascade bit: MEMT_LC01_inmux02_bram_cbit_6
+(7 7) Cascade bit: MEMT_LC02_inmux00_bram_cbit_6
+(7 7) Cascade bit: MEMT_LC03_inmux00_bram_cbit_6
+(7 7) Cascade bit: MEMT_LC04_inmux00_bram_cbit_6
+(7 7) Cascade bit: MEMT_LC05_inmux00_bram_cbit_6
+(7 7) Cascade bit: MEMT_LC06_inmux00_bram_cbit_6
+(7 7) Cascade bit: MEMT_LC07_inmux00_bram_cbit_6
 (8 0) routing sp4_h_l_36 <X> sp4_h_r_1
 (8 0) routing sp4_h_l_40 <X> sp4_h_r_1
 (8 0) routing sp4_v_b_1 <X> sp4_h_r_1
diff --git a/icefuzz/cached_ramt_8k.txt b/icefuzz/cached_ramt_8k.txt
index 6a7c7a1..aaa3a3e 100644
--- a/icefuzz/cached_ramt_8k.txt
+++ b/icefuzz/cached_ramt_8k.txt
@@ -3465,6 +3465,42 @@
 (7 15) Column buffer control bit: MEMT_colbuf_cntl_6
 (7 2) Ram config bit: MEMT_bram_cbit_3
 (7 3) Ram config bit: MEMT_bram_cbit_2
+(7 4) Cascade buffer Enable bit: MEMT_LC00_inmux00_bram_cbit_5
+(7 4) Cascade buffer Enable bit: MEMT_LC01_inmux00_bram_cbit_5
+(7 4) Cascade buffer Enable bit: MEMT_LC02_inmux00_bram_cbit_5
+(7 4) Cascade buffer Enable bit: MEMT_LC03_inmux00_bram_cbit_5
+(7 4) Cascade buffer Enable bit: MEMT_LC06_inmux00_bram_cbit_5
+(7 4) Cascade buffer Enable bit: MEMT_LC06_inmux02_bram_cbit_5
+(7 4) Cascade buffer Enable bit: MEMT_LC07_inmux00_bram_cbit_5
+(7 4) Cascade buffer Enable bit: MEMT_LC07_inmux02_bram_cbit_5
+(7 5) Cascade bit: MEMT_LC00_inmux00_bram_cbit_4
+(7 5) Cascade bit: MEMT_LC01_inmux00_bram_cbit_4
+(7 5) Cascade bit: MEMT_LC02_inmux00_bram_cbit_4
+(7 5) Cascade bit: MEMT_LC03_inmux00_bram_cbit_4
+(7 5) Cascade bit: MEMT_LC06_inmux00_bram_cbit_4
+(7 5) Cascade bit: MEMT_LC06_inmux02_bram_cbit_4
+(7 5) Cascade bit: MEMT_LC07_inmux00_bram_cbit_4
+(7 5) Cascade bit: MEMT_LC07_inmux02_bram_cbit_4
+(7 6) Cascade buffer Enable bit: MEMT_LC00_inmux00_bram_cbit_7
+(7 6) Cascade buffer Enable bit: MEMT_LC01_inmux00_bram_cbit_7
+(7 6) Cascade buffer Enable bit: MEMT_LC02_inmux00_bram_cbit_7
+(7 6) Cascade buffer Enable bit: MEMT_LC03_inmux00_bram_cbit_7
+(7 6) Cascade buffer Enable bit: MEMT_LC04_inmux00_bram_cbit_7
+(7 6) Cascade buffer Enable bit: MEMT_LC05_inmux00_bram_cbit_7
+(7 6) Cascade buffer Enable bit: MEMT_LC06_inmux00_bram_cbit_7
+(7 6) Cascade buffer Enable bit: MEMT_LC06_inmux02_bram_cbit_7
+(7 6) Cascade buffer Enable bit: MEMT_LC07_inmux00_bram_cbit_7
+(7 6) Cascade buffer Enable bit: MEMT_LC07_inmux02_bram_cbit_7
+(7 7) Cascade bit: MEMT_LC00_inmux00_bram_cbit_6
+(7 7) Cascade bit: MEMT_LC01_inmux00_bram_cbit_6
+(7 7) Cascade bit: MEMT_LC02_inmux00_bram_cbit_6
+(7 7) Cascade bit: MEMT_LC03_inmux00_bram_cbit_6
+(7 7) Cascade bit: MEMT_LC04_inmux00_bram_cbit_6
+(7 7) Cascade bit: MEMT_LC05_inmux00_bram_cbit_6
+(7 7) Cascade bit: MEMT_LC06_inmux00_bram_cbit_6
+(7 7) Cascade bit: MEMT_LC06_inmux02_bram_cbit_6
+(7 7) Cascade bit: MEMT_LC07_inmux00_bram_cbit_6
+(7 7) Cascade bit: MEMT_LC07_inmux02_bram_cbit_6
 (7 8) Column buffer control bit: MEMT_colbuf_cntl_1
 (7 9) Column buffer control bit: MEMT_colbuf_cntl_0
 (8 0) routing sp4_h_l_36 <X> sp4_h_r_1
diff --git a/icefuzz/database.py b/icefuzz/database.py
index 5850ddf..ec2074a 100644
--- a/icefuzz/database.py
+++ b/icefuzz/database.py
@@ -53,7 +53,11 @@ def read_database(filename, tile_type):
                 if match:
                     raw_db.append((bit, ("buffer", "wire_logic_cluster/lc_%d/lout" % (int(match.group(1))-1), "input_2_%s" % match.group(1))))
                 else:
-                    raw_db.append((bit, (line[0], line[1])))
+                    match = re.match("MEMT_LC\d+_inmux\d+_bram_cbit_(\d+)", line[1])
+                    if match:
+                        raw_db.append((bit, ("RamCascade", "CBIT_%d" % int(match.group(1)))))
+                    else:
+                        raw_db.append((bit, (line[0], line[1])))
             elif line[0] == "RamConfig":
                 if line[1] == "MEMB_Power_Up_Control": line[1] = "PowerUp"
                 line[1] = re.sub(r"MEMT_bram_cbit_", "CBIT_", line[1])
diff --git a/icefuzz/make_mem.py b/icefuzz/make_mem.py
new file mode 100644
index 0000000..ab38849
--- /dev/null
+++ b/icefuzz/make_mem.py
@@ -0,0 +1,40 @@
+#!/usr/bin/env python3
+
+from fuzzconfig import *
+import numpy as np
+import os
+
+os.system("rm -rf work_mem")
+os.mkdir("work_mem")
+
+for idx in range(num):
+    with open("work_mem/mem_%02d.v" % idx, "w") as f:
+        print("""
+          module top(input clk, i0, i1, i2, i3, output reg o0, o1, o2, o3, o4);
+            reg [9:0] raddr, waddr, rdata, wdata;
+            reg [9:0] memory [0:1023];
+            always @(posedge clk) begin
+              case ({i0, i1, i2})
+                0: raddr <= {raddr, i3};
+                1: waddr <= {waddr, i3};
+                2: wdata <= {wdata, i3};
+                3: rdata <= memory[raddr];
+                4: memory[waddr] <= wdata;
+                5: rdata <= memory[waddr];
+                6: {o0, o1, o2, o3, o4} <= rdata[4:0];
+                7: {o0, o1, o2, o3, o4} <= rdata[9:5];
+              endcase
+            end
+          endmodule
+        """, file=f)
+    with open("work_mem/mem_%02d.pcf" % idx, "w") as f:
+        p = list(np.random.permutation(pins))
+        for port in [ "clk", "i0", "i1", "i2", "i3", "o0", "o1", "o2", "o3", "o4" ]:
+            print("set_io %s %s" % (port, p.pop()), file=f)
+
+with open("work_mem/Makefile", "w") as f:
+    print("all: %s" % " ".join(["mem_%02d.bin" % i for i in range(num)]), file=f)
+    for i in range(num):
+        print("mem_%02d.bin:" % i, file=f)
+        print("\t-bash ../icecube.sh mem_%02d > mem_%02d.log 2>&1 && rm -rf mem_%02d.tmp || tail mem_%02d.log" % (i, i, i, i), file=f)
+