diff options
author | Clifford Wolf <clifford@clifford.at> | 2016-01-09 12:45:43 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2016-01-09 12:45:43 +0100 |
commit | 2fe704227f4f5caa95aa0c79aee21c847d0236f0 (patch) | |
tree | a9a379a8ae069ae06cbbab9e66154c1781fd4719 /icefuzz/make_mem.py | |
parent | c4e5a5e57f692cf88f08ad365e418fb5eb6119f0 (diff) | |
download | icestorm-2fe704227f4f5caa95aa0c79aee21c847d0236f0.tar.gz icestorm-2fe704227f4f5caa95aa0c79aee21c847d0236f0.tar.bz2 icestorm-2fe704227f4f5caa95aa0c79aee21c847d0236f0.zip |
Fuzzed RamCascade bits
Diffstat (limited to 'icefuzz/make_mem.py')
-rw-r--r-- | icefuzz/make_mem.py | 40 |
1 files changed, 40 insertions, 0 deletions
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) + |