blob: 172ec1079efd0d54aea010e52f9a7097c1af24ac (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
import os, sys, json
enum = lambda n, s : "(" + ", ".join([s + str(x) for x in range(n)]) + ")"
params = open(sys.argv[1])
replacements = json.load(params)
params.close()
replacements["kmodw"] = replacements["k"] % replacements["w"]
replacements["kdivw"] = int(replacements["k"] / replacements["w"])
replacements["enum f"] = enum(replacements["n"], "f")
replacements["enum g"] = enum(replacements["n"], "g")
replacements["enumw f"] = enum(replacements["kdivw"] + 1, "f")
replacements = {k : str(v) for k,v in replacements.items()}
OUT = "GF" + replacements["k"] + replacements["c"] + "_" + replacements["w"] + ".v"
if len(sys.argv) > 2:
OUT = sys.argv[2]
if int(replacements["c"]) % 8 == 1:
TEMPLATE = "GFtemplate3mod4"
else:
TEMPLATE = "GFtemplate5mod8"
BEGIN_FIELD = "{{{"
END_FIELD = "}}}"
field = lambda s : BEGIN_FIELD + s + END_FIELD
inp = open(TEMPLATE)
out = open(OUT, "w+")
for line in inp:
new_line = line
for w in replacements:
new_line = new_line.replace(field(w), replacements[w])
out.write(new_line)
inp.close()
out.close()
|