diff options
author | Nadesh Ramanathan <nadeshramanathan88@gmail.com> | 2020-11-17 09:06:04 +0000 |
---|---|---|
committer | Nadesh Ramanathan <nadeshramanathan88@gmail.com> | 2020-11-17 09:06:04 +0000 |
commit | 38b249970456a55f0a69ff28070887367e113205 (patch) | |
tree | b5feacc01671b00b55d34a1a41e0e6e3d9e9fa88 /benchmarks/polybench-syn/run-vericert.sh | |
parent | 25f9100da11ccea1d8b5c24160270be425f2cab2 (diff) | |
download | vericert-38b249970456a55f0a69ff28070887367e113205.tar.gz vericert-38b249970456a55f0a69ff28070887367e113205.zip |
final checks reworked and including compilation time in script
Diffstat (limited to 'benchmarks/polybench-syn/run-vericert.sh')
-rwxr-xr-x | benchmarks/polybench-syn/run-vericert.sh | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/benchmarks/polybench-syn/run-vericert.sh b/benchmarks/polybench-syn/run-vericert.sh index 7256235..469fef1 100755 --- a/benchmarks/polybench-syn/run-vericert.sh +++ b/benchmarks/polybench-syn/run-vericert.sh @@ -5,14 +5,15 @@ top=$(pwd) while read benchmark ; do echo "Running "$benchmark clang -Wall -Werror -fsanitize=undefined $benchmark.c -o $benchmark.o - ./$benchmark.o - cresult=$(echo $?) + ./$benchmark.o > $benchmark.clog + cresult=$(cat $benchmark.clog | cut -d' ' -f2) echo "C output: "$cresult - ../../bin/vericert -DSYNTHESIS -O0 -finline --debug-hls $benchmark.c -o $benchmark.v + { time ../../bin/vericert -DSYNTHESIS -O0 -finline --debug-hls $benchmark.c -o $benchmark.v ; } 2> $benchmark.comp iverilog -o $benchmark.iver -- $benchmark.v ./$benchmark.iver > $benchmark.tmp veriresult=$(tail -1 $benchmark.tmp | cut -d' ' -f2) cycles=$(tail -4 $benchmark.tmp | head -1 | tr -s ' ' | cut -d' ' -f3) + ctime=$(cat $benchmark.comp | head -2 | tail -1 | xargs | cut -d' ' -f2 | cut -d'm' -f2 | sed 's/s//g') echo "Veri output: "$veriresult #Undefined checks @@ -38,5 +39,5 @@ while read benchmark ; do echo "PASS" fi name=$(echo $benchmark | awk -v FS="/" '{print $NF}') - echo $name","$cycles >> exec.csv + echo $name","$cycles","$ctime >> exec.csv done < benchmark-list-master |