aboutsummaryrefslogtreecommitdiffstats
path: root/scripts/syn-remote.sh
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2022-03-19 12:05:44 +0000
committerYann Herklotz <git@yannherklotz.com>2022-03-19 12:05:44 +0000
commit10d614dca61aeccc9cb2bc0f2e4c77aae99e7a00 (patch)
treeb6e0a2f034b083ae5c8c44e1015f945a0297ecbe /scripts/syn-remote.sh
parent23fe30f8c23ecb743880cb9239410eb51bf1abab (diff)
downloadvericert-10d614dca61aeccc9cb2bc0f2e4c77aae99e7a00.tar.gz
vericert-10d614dca61aeccc9cb2bc0f2e4c77aae99e7a00.zip
Delete extra data files and scripts
Diffstat (limited to 'scripts/syn-remote.sh')
-rwxr-xr-xscripts/syn-remote.sh51
1 files changed, 51 insertions, 0 deletions
diff --git a/scripts/syn-remote.sh b/scripts/syn-remote.sh
new file mode 100755
index 0000000..879db2e
--- /dev/null
+++ b/scripts/syn-remote.sh
@@ -0,0 +1,51 @@
+#! /bin/bash
+
+#setup
+while read benchmark ;
+do
+echo "Setting up "$benchmark
+rm -r $benchmark
+mkdir $benchmark
+cp $benchmark.v $benchmark/top.v
+
+done < syn-list
+
+#synthesis
+
+count=0
+while read benchmark ;
+
+do
+echo "Synthesising "$benchmark
+cd $benchmark
+quartus_sh -t ../quartus_synth.tcl &
+let "count=count+1"
+cd ..
+
+if [ $count -eq 4 ]
+then
+echo "I am here"
+wait
+count=0
+fi
+
+done < syn-list
+
+if [ $count -lt 4 ]
+then
+wait
+fi
+
+#extract
+while read benchmark ; do
+ cd $benchmark
+ echo $(pwd)
+ freq=$(grep MHz syn.sta.rpt | tail -2 | head -1 | awk '{print $2}')
+ lut=$(sed -n -e 8p syn.fit.summary | awk '{print $6}' | sed 's/,//g')
+ regs=$(sed -n -e 9p syn.fit.summary | awk '{print $4}')
+ bram=$(sed -n -e 13p syn.fit.summary | awk '{print $5}')
+ dsp=$(sed -n -e 14p syn.fit.summary | awk '{print $5}')
+ cd ..
+ echo $benchmark","$freq","$lut","$regs","$bram","$dsp >> results
+done < syn-list
+