summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-06-14 19:56:22 +0200
committerClifford Wolf <clifford@clifford.at>2014-06-14 19:56:22 +0200
commit39eb347c67056f9b56ecfdab1704362d4cd276e1 (patch)
tree6369d287dfc1ce59cb2d95ff5858201c2f66c013 /tests
parentd5765b5e14319c20a62a20f470e8ec5dc48d0010 (diff)
progress in realmath test bench
Diffstat (limited to 'tests')
-rw-r--r--tests/realmath/generate.py30
-rwxr-xr-xtests/realmath/run-test.sh19
2 files changed, 45 insertions, 4 deletions
diff --git a/tests/realmath/generate.py b/tests/realmath/generate.py
index c7653321..f280e1c3 100644
--- a/tests/realmath/generate.py
+++ b/tests/realmath/generate.py
@@ -39,14 +39,36 @@ def random_expression(depth = 3, maxparam = 0):
return op + '(' + recursion() + ', ' + recursion() + ')'
raise
-for i in range(3):
- with file('uut_%05d.v' % i, 'w') as f, redirect_stdout(f):
- print('module uut_%05d(output [63:0] %s);\n' % (i, ', '.join(['y%02d' % i for i in range(100)])))
+for idx in range(100):
+ with file('temp/uut_%05d.v' % idx, 'w') as f, redirect_stdout(f):
+ print('module uut_%05d(output [63:0] %s);\n' % (idx, ', '.join(['y%02d' % i for i in range(100)])))
for i in range(30):
print('localparam p%02d = %s;' % (i, random_expression()))
for i in range(30, 60):
print('localparam p%02d = %s;' % (i, random_expression(maxparam = 30)))
for i in range(100):
- print('assign y%02d = %s;' % (i, random_expression(maxparam = 60)))
+ print('assign y%02d = 65536 * (%s);' % (i, random_expression(maxparam = 60)))
+ print('endmodule')
+ with file('temp/uut_%05d.ys' % idx, 'w') as f, redirect_stdout(f):
+ print('read_verilog uut_%05d.v' % idx)
+ print('rename uut_%05d uut_%05d_syn' % (idx, idx))
+ print('write_verilog uut_%05d_syn.v' % idx)
+ with file('temp/uut_%05d_tb.v' % idx, 'w') as f, redirect_stdout(f):
+ print('module uut_%05d_tb;\n' % idx)
+ print('wire [63:0] %s;' % (', '.join(['r%02d' % i for i in range(100)])))
+ print('wire [63:0] %s;' % (', '.join(['s%02d' % i for i in range(100)])))
+ print('uut_%05d ref(%s);' % (idx, ', '.join(['r%02d' % i for i in range(100)])))
+ print('uut_%05d_syn syn(%s);' % (idx, ', '.join(['s%02d' % i for i in range(100)])))
+ print('task compare_ref_syn;')
+ print(' input [7:0] i;')
+ print(' input [63:0] r, s;')
+ print(' begin')
+ print(' $display("%d: %b %b", i, r, s);')
+ print(' end')
+ print('endtask')
+ print('initial begin #1;')
+ for i in range(100):
+ print(' compare_ref_syn(%2d, r%02d, s%02d);' % (i, i, i))
+ print('end')
print('endmodule')
diff --git a/tests/realmath/run-test.sh b/tests/realmath/run-test.sh
new file mode 100755
index 00000000..9568cdd6
--- /dev/null
+++ b/tests/realmath/run-test.sh
@@ -0,0 +1,19 @@
+#!/bin/bash
+set -e
+
+rm -rf temp
+mkdir -p temp
+echo "generating tests.."
+python generate.py
+
+cd temp
+echo "running tests.."
+for ((i = 0; i < 100; i++)); do
+ echo -n "[$i]"
+ idx=$( printf "%05d" $i )
+ ../../../yosys -q uut_${idx}.ys
+ iverilog -o uut_${idx}_tb uut_${idx}_tb.v uut_${idx}.v uut_${idx}_syn.v
+ ./uut_${idx}_tb > uut_${idx}.log
+done
+echo
+