diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-03-19 12:05:44 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-19 12:05:44 +0000 |
commit | 10d614dca61aeccc9cb2bc0f2e4c77aae99e7a00 (patch) | |
tree | b6e0a2f034b083ae5c8c44e1015f945a0297ecbe /scripts/syn-remote.sh | |
parent | 23fe30f8c23ecb743880cb9239410eb51bf1abab (diff) | |
download | vericert-10d614dca61aeccc9cb2bc0f2e4c77aae99e7a00.tar.gz vericert-10d614dca61aeccc9cb2bc0f2e4c77aae99e7a00.zip |
Delete extra data files and scripts
Diffstat (limited to 'scripts/syn-remote.sh')
-rwxr-xr-x | scripts/syn-remote.sh | 51 |
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 + |