diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-09-22 19:26:01 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-09-22 19:26:01 +0100 |
commit | 2ff1316847b9d338a792f67b7b9f6364d4b65551 (patch) | |
tree | 6aaf069a05f889d6f3fe012332a5e74dd8707429 /benchmarks/polybench-syn-div/syn-remote.sh | |
parent | c114bd7a269824623f2dbb41322d95d5056fca02 (diff) | |
parent | 8386bed39f413bb461c19debbad92e85f927c4b5 (diff) | |
download | vericert-2ff1316847b9d338a792f67b7b9f6364d4b65551.tar.gz vericert-2ff1316847b9d338a792f67b7b9f6364d4b65551.zip |
Merge remote-tracking branch 'origin/develop' into develop
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 + |