diff options
author | Clifford Wolf <clifford@clifford.at> | 2014-07-20 14:55:10 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2014-07-20 15:32:59 +0200 |
commit | 6f450d0224a3ad09c61c5a150e3e7b3b6241338d (patch) | |
tree | 766ca95382df26a7a30895b0a197d0b0c6767987 /tests/share/generate.py | |
parent | 5b3ee7a072ad0bd7fb1245a2fb3560a0ca034457 (diff) |
Added tests/share for testing "share" supercell creation
Diffstat (limited to 'tests/share/generate.py')
-rw-r--r-- | tests/share/generate.py | 41 |
1 files changed, 41 insertions, 0 deletions
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') + |