#!/usr/bin/env python3 import argparse 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 def random_plus_x(): return "%s x" % random.choice(['+', '+', '+', '-', '-', '|', '&', '^']) def maybe_plus_x(expr): if random.randint(0, 4) == 0: return "(%s %s)" % (expr, random_plus_x()) else: return expr parser = argparse.ArgumentParser(formatter_class = argparse.ArgumentDefaultsHelpFormatter) parser.add_argument('-S', '--seed', type = int, help = 'seed for PRNG') parser.add_argument('-c', '--count', type = int, default = 100, help = 'number of test cases to generate') args = parser.parse_args() if args.seed is not None: print("PRNG seed: %d" % args.seed) random.seed(args.seed) for idx in range(args.count): with open('temp/uut_%05d.v' % idx, 'w') as f: with redirect_stdout(f): if random.choice(['bin', 'uni']) == 'bin': print('module uut_%05d(a, b, c, d, x, s, y);' % (idx)) op = random.choice([ random.choice(['+', '-', '*', '/', '%']), random.choice(['<', '<=', '==', '!=', '===', '!==', '>=', '>' ]), random.choice(['<<', '>>', '<<<', '>>>']), random.choice(['|', '&', '^', '~^', '||', '&&']), ]) print(' input%s [%d:0] a;' % (random.choice(['', ' signed']), random.randint(0, 8))) print(' input%s [%d:0] b;' % (random.choice(['', ' signed']), random.randint(0, 8))) print(' input%s [%d:0] c;' % (random.choice(['', ' signed']), random.randint(0, 8))) print(' input%s [%d:0] d;' % (random.choice(['', ' signed']), random.randint(0, 8))) print(' input%s [%d:0] x;' % (random.choice(['', ' signed']), random.randint(0, 8))) print(' input s;') print(' output [%d:0] y;' % random.randint(0, 8)) print(' assign y = (s ? %s(%s %s %s) : %s(%s %s %s))%s;' % (random.choice(['', '$signed', '$unsigned']), maybe_plus_x('a'), op, maybe_plus_x('b'), random.choice(['', '$signed', '$unsigned']), maybe_plus_x('c'), op, maybe_plus_x('d'), random_plus_x() if random.randint(0, 4) == 0 else '')) print('endmodule') else: print('module uut_%05d(a, b, x, s, y);' % (idx)) op = random.choice(['~', '-', '!']) print(' input%s [%d:0] a;' % (random.choice(['', ' signed']), random.randint(0, 8))) print(' input%s [%d:0] b;' % (random.choice(['', ' signed']), random.randint(0, 8))) print(' input%s [%d:0] x;' % (random.choice(['', ' signed']), random.randint(0, 8))) print(' input s;') print(' output [%d:0] y;' % random.randint(0, 8)) print(' assign y = (s ? %s(%s%s) : %s(%s%s))%s;' % (random.choice(['', '$signed', '$unsigned']), op, maybe_plus_x('a'), random.choice(['', '$signed', '$unsigned']), op, maybe_plus_x('b'), random_plus_x() if random.randint(0, 4) == 0 else '')) print('endmodule') with open('temp/uut_%05d.ys' % idx, 'w') as f: with 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('tee -a temp/all_share_log.txt log') print('tee -a temp/all_share_log.txt log #job# uut_%05d' % idx) print('tee -a t
extern crate cc;

fn main() {
    // pkg_config is needed only to pick up the include path for log.c to use.
    // libflashrom-sys tells cargo how to link to libflashrom.
    let flashrom = pkg_config::Config::new()
        .cargo_metadata(false)
        .probe("flashrom")
        .unwrap();
    let mut log_c = cc::Build::new();
    log_c.file("src/log.c");
    for p in flashrom.include_paths {
        log_c.include(p);
    }
    log_c.compile("log.o");
    println!("cargo:rerun-if-changed=src/log.c");
}