diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-07-11 01:19:52 +0200 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-07-11 01:19:52 +0200 |
commit | aa986aacbb80e9f92f77d65de74ba5051054eac7 (patch) | |
tree | 0a1a6c9f209e818f7a1ec675ae8983abc5b9de2c /benchmarks/polybench-syn-div/syn-remote.sh | |
parent | f46b0cd924705dcb4817129bb0504767c2225c20 (diff) | |
download | vericert-aa986aacbb80e9f92f77d65de74ba5051054eac7.tar.gz vericert-aa986aacbb80e9f92f77d65de74ba5051054eac7.zip |
Add divider benchmarks
Diffstat (limited to 'benchmarks/polybench-syn-div/syn-remote.sh')
-rwxr-xr-x | benchmarks/polybench-syn-div/syn-remote.sh | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/benchmarks/polybench-syn-div/syn-remote.sh b/benchmarks/polybench-syn-div/syn-remote.sh new file mode 100755 index 0000000..879db2e --- /dev/null +++ b/benchmarks/polybench-syn-div/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 + |