diff options
author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-03-01 20:10:03 +0000 |
---|---|---|
committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-03-01 20:10:03 +0000 |
commit | a0625250b091fff9c05e4fe9eab1bec109333875 (patch) | |
tree | a8ac0fc1b99f8a81e16cea8eada180669b72b049 /benchmarks/polybench-syn/syn-remote.sh | |
parent | f48c9113280b1dbe73121e5cd998e632ff19637c (diff) | |
download | vericert-a0625250b091fff9c05e4fe9eab1bec109333875.tar.gz vericert-a0625250b091fff9c05e4fe9eab1bec109333875.zip |
Rename quartus synthesis files to match vivado
Diffstat (limited to 'benchmarks/polybench-syn/syn-remote.sh')
-rwxr-xr-x | benchmarks/polybench-syn/syn-remote.sh | 51 |
1 files changed, 0 insertions, 51 deletions
diff --git a/benchmarks/polybench-syn/syn-remote.sh b/benchmarks/polybench-syn/syn-remote.sh deleted file mode 100755 index 879db2e..0000000 --- a/benchmarks/polybench-syn/syn-remote.sh +++ /dev/null @@ -1,51 +0,0 @@ -#! /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 - |