blob: a6ce34986a5ea983c4744246d5e50330c1a04ea0 (
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
|
#!/usr/bin/bash
# Assumes that the Verilog is passed on the command line, that the tcl file is in synth.tcl and
# returns encode_report.xml.
scriptsdir=$(dirname "$(readlink -f "$BASH_SOURCE")")
num=$1
bench=$2
output=$3
machine=ee-beholder${num}.ee.ic.ac.uk
user=ymh15
files="$scriptsdir/synth.tcl $output/$bench.v"
log="$output/${bench}_synth.log"
date >$log
temp=$(ssh $user@$machine "mktemp -d" 2>>$log)
>&2 echo "synthesising $bench $temp"
rsync $files $user@$machine:$temp/ >>$log 2>&1
ssh $user@$machine \
"bash -lc 'cd $temp && cp $(basename $bench).v main.v && vivado -mode batch -source synth.tcl'" \
>>$log 2>&1
rsync $user@$machine:$temp/encode_report.xml $output/${bench}_report.xml >>$log 2>&1
ssh $user@$machine "rm -rf '$temp'" >>$log 2>&1
rm -f main.v >>$log 2>&1
>&2 echo "done $bench"
|
