From 27fea2fe14a81f4e73e0e3e53ec5ac5db07a5d82 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Sat, 19 Mar 2022 12:05:44 +0000
Subject: Delete extra data files and scripts

---
 scripts/run-vericert.sh | 46 ++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 46 insertions(+)
 create mode 100755 scripts/run-vericert.sh

(limited to 'scripts/run-vericert.sh')

diff --git a/scripts/run-vericert.sh b/scripts/run-vericert.sh
new file mode 100755
index 0000000..9deaa10
--- /dev/null
+++ b/scripts/run-vericert.sh
@@ -0,0 +1,46 @@
+#!/usr/bin/env bash
+
+rm exec.csv
+
+top=$(pwd)
+#set up
+while read benchmark ; do
+   printf "%10s\t" $(echo "$benchmark" | sed -e 's|/| |g')
+   ./$benchmark.gcc > $benchmark.clog
+   cresult=$(cat $benchmark.clog | cut -d' ' -f2)
+   #echo "C output: "$cresult
+   #./$benchmark.iver > $benchmark.tmp
+   if [[ ! -f ./$benchmark.verilator/Vmain ]]; then
+      echo -e "\e[0;91mFAIL\e[0m: Verilog failed compilation"
+      continue
+   fi
+   ./$benchmark.verilator/Vmain > $benchmark.tmp
+   veriresult=$(tail -1 $benchmark.tmp | cut -d' ' -f2)
+   cycles=$(tail -2 $benchmark.tmp | head -1 | tr -s ' ' | cut -d' ' -f2)
+   #echo "Verilog output: "$veriresult
+
+   #Undefined checks
+   if [[ -z "$veriresult" ]]
+   then
+      echo "\e[0;91mFAIL\e[0m: Verilog returned nothing"
+      #exit 0
+   fi
+   
+   # Don't care checks
+   if [[ $veriresult == "x" ]]
+   then
+      echo "\e[0;91mFAIL\e[0m: Verilog returned don't cares"
+      #exit 0
+   fi
+
+   # unequal result check
+   if [[ $cresult -ne $veriresult ]]
+   then 
+      echo -e "\e[0;91mFAIL\e[0m: Verilog and C output do not match!"
+      #exit 0
+   else 
+      echo -e "\e[0;92mPASS\e[0m"
+   fi
+   name=$(echo $benchmark | awk -v FS="/" '{print $NF}')
+   echo $name","$cycles >> exec.csv
+done < benchmark-list-master
-- 
cgit