diff options
author | Clifford Wolf <clifford@clifford.at> | 2015-07-18 13:10:40 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2015-07-18 13:10:40 +0200 |
commit | 48154cb6f452d3bdb4da36cc267b4b6c45588dc9 (patch) | |
tree | 3ec3be9ef7e8db1fb7c764ed8202e0215a8eb7c7 /icefuzz/make_fflogic.py | |
parent | 13e63e6b65e044e348356731b55610d02cb308b9 (diff) | |
download | icestorm-48154cb6f452d3bdb4da36cc267b4b6c45588dc9.tar.gz icestorm-48154cb6f452d3bdb4da36cc267b4b6c45588dc9.tar.bz2 icestorm-48154cb6f452d3bdb4da36cc267b4b6c45588dc9.zip |
Imported full dev sources
Diffstat (limited to 'icefuzz/make_fflogic.py')
-rw-r--r-- | icefuzz/make_fflogic.py | 54 |
1 files changed, 54 insertions, 0 deletions
diff --git a/icefuzz/make_fflogic.py b/icefuzz/make_fflogic.py new file mode 100644 index 0000000..9bc2c5d --- /dev/null +++ b/icefuzz/make_fflogic.py @@ -0,0 +1,54 @@ +#!/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_fflogic") +os.mkdir("work_fflogic") + +def random_op(): + return np.random.choice(["+", "-", "*", "^", "&", "|"]) + +def print_seq_op(dst, src1, src2, op, f): + mode = np.random.choice(list("abc")) + negreset = np.random.choice(["!", ""]) + enable = np.random.choice(["if (en) ", ""]) + if mode == "a": + print(" always @(%sedge clk) begin" % np.random.choice(["pos", "neg"]), file=f) + print(" %s%s <= %s %s %s;" % (enable, dst, src1, op, src2), file=f) + print(" end", file=f) + elif mode == "b": + print(" always @(%sedge clk) begin" % np.random.choice(["pos", "neg"]), file=f) + print(" if (%srst)" % negreset, file=f) + print(" %s <= %d;" % (dst, np.random.randint(2**16)), file=f) + print(" else", file=f) + print(" %s%s <= %s %s %s;" % (enable, dst, src1, op, src2), file=f) + print(" end", file=f) + elif mode == "c": + print(" always @(%sedge clk, %sedge rst) begin" % (np.random.choice(["pos", "neg"]), "neg" if negreset == "!" else "pos"), file=f) + print(" if (%srst)" % negreset, file=f) + print(" %s <= %d;" % (dst, np.random.randint(2**16)), file=f) + print(" else", file=f) + print(" %s%s <= %s %s %s;" % (enable, dst, src1, op, src2), file=f) + print(" end", file=f) + else: + assert False + +for idx in range(num): + with open("work_fflogic/fflogic_%02d.v" % idx, "w") as f: + print("module top(input clk, rst, en, input [15:0] a, b, c, d, output [15:0] y, output z);", file=f) + print(" reg [15:0] p, q;", file=f) + print_seq_op("p", "a", "b", random_op(), f) + print_seq_op("q", "c", "d", random_op(), f) + print(" assign y = p %s q, z = clk ^ rst ^ en;" % random_op(), file=f) + print("endmodule", file=f) + +with open("work_fflogic/Makefile", "w") as f: + print("all: %s" % " ".join(["fflogic_%02d.bin" % i for i in range(num)]), file=f) + for i in range(num): + print("fflogic_%02d.bin:" % i, file=f) + print("\t-bash ../icecube.sh fflogic_%02d > fflogic_%02d.log 2>&1 && rm -rf fflogic_%02d.tmp || tail fflogic_%02d.log" % (i, i, i, i), file=f) + |