summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-07-20 14:55:10 +0200
committerClifford Wolf <clifford@clifford.at>2014-07-20 15:32:59 +0200
commit6f450d0224a3ad09c61c5a150e3e7b3b6241338d (patch)
tree766ca95382df26a7a30895b0a197d0b0c6767987 /tests
parent5b3ee7a072ad0bd7fb1245a2fb3560a0ca034457 (diff)
Added tests/share for testing "share" supercell creation
Diffstat (limited to 'tests')
-rw-r--r--tests/share/.gitignore1
-rw-r--r--tests/share/generate.py41
-rwxr-xr-xtests/share/run-test.sh16
3 files changed, 58 insertions, 0 deletions
diff --git a/tests/share/.gitignore b/tests/share/.gitignore
new file mode 100644
index 00000000..9c595a6f
--- /dev/null
+++ b/tests/share/.gitignore
@@ -0,0 +1 @@
+temp
diff --git a/tests/share/generate.py b/tests/share/generate.py
new file mode 100644
index 00000000..86be6b5e
--- /dev/null
+++ b/tests/share/generate.py
@@ -0,0 +1,41 @@
+#!/usr/bin/python
+
+from __future__ import division
+from __future__ import print_function
+
+import sys
+import random
+from contextlib import contextmanager
+
+@contextmanager
+def redirect_stdout(new_target):
+ old_target, sys.stdout = sys.stdout, new_target
+ try:
+ yield new_target
+ finally:
+ sys.stdout = old_target
+
+for idx in range(100):
+ with file('temp/uut_%05d.v' % idx, 'w') as f, redirect_stdout(f):
+ print('module uut_%05d(a, b, c, d, s, y);' % (idx))
+ ac_signed = random.choice(['', ' signed'])
+ bd_signed = random.choice(['', ' signed'])
+ op = random.choice(['+', '-', '*', '/', '%', '<<', '>>', '<<<', '>>>'])
+ print(' input%s [%d:0] a;' % (ac_signed, random.randint(0, 8)))
+ print(' input%s [%d:0] b;' % (bd_signed, random.randint(0, 8)))
+ print(' input%s [%d:0] c;' % (ac_signed, random.randint(0, 8)))
+ print(' input%s [%d:0] d;' % (bd_signed, random.randint(0, 8)))
+ print(' input s;')
+ print(' output [%d:0] y;' % random.randint(0, 8))
+ print(' assign y = s ? %s(a %s b) : %s(c %s d);' % (random.choice(['', '$signed', '$unsigned']), op, random.choice(['', '$signed', '$unsigned']), op))
+ print('endmodule')
+ with file('temp/uut_%05d.ys' % idx, 'w') as f, redirect_stdout(f):
+ print('read_verilog temp/uut_%05d.v' % idx)
+ print('proc;;')
+ print('copy uut_%05d gold' % idx)
+ print('rename uut_%05d gate' % idx)
+ print('share -aggressive gate')
+ print('miter -equiv -ignore_gold_x -make_outputs -make_outcmp gold gate miter')
+ print('flatten miter')
+ print('sat -verify -prove trigger 0 -show-inputs -show-outputs miter')
+
diff --git a/tests/share/run-test.sh b/tests/share/run-test.sh
new file mode 100755
index 00000000..d511c909
--- /dev/null
+++ b/tests/share/run-test.sh
@@ -0,0 +1,16 @@
+#!/bin/bash
+set -e
+
+rm -rf temp
+mkdir -p temp
+echo "generating tests.."
+python generate.py
+
+echo "running tests.."
+for i in $( ls temp/*.ys | sed 's,[^0-9],,g; s,^0*\(.\),\1,g;' ); do
+ echo -n "[$i]"
+ idx=$( printf "%05d" $i )
+ ../../yosys -ql temp/uut_${idx}.log temp/uut_${idx}.ys
+done
+echo
+