From c5b50a4f07ee58934d67fd12bce949f9446b73cd Mon Sep 17 00:00:00 2001
From: Nadesh Ramanathan <nadeshramanathan88@gmail.com>
Date: Wed, 18 Nov 2020 11:20:58 +0000
Subject: poly numbers and R scripts for basic stats

---
 benchmarks/polybench-syn/script.R | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 benchmarks/polybench-syn/script.R

(limited to 'benchmarks/polybench-syn/script.R')

diff --git a/benchmarks/polybench-syn/script.R b/benchmarks/polybench-syn/script.R
new file mode 100644
index 0000000..9ee49ad
--- /dev/null
+++ b/benchmarks/polybench-syn/script.R
@@ -0,0 +1,23 @@
+library("psych")
+
+data = read.csv("poly.csv", header=TRUE)
+leguptime = (data$legupcycles/data$legupfreqMHz)
+veritime = data$vericertcycles/data$vericertfreqMHz
+print(lm(veritime ~ leguptime))
+leguputil = data$leguplogicutilisation/427200*100
+veriutil = data$vericertlogicutilisation/427200*100
+print(lm (veriutil ~ leguputil))
+legupct = data$legupcomptime
+verict = data$vericertcomptime
+print(lm ( verict ~ legupct ))
+
+cycleslowdown=data$vericertcycles/data$legupcycles
+
+print("Cycle count slow down")
+print(geometric.mean(cycleslowdown))
+print("Wall clock slow down")
+print(geometric.mean(veritime/leguptime))
+print("Area overhead")
+print(geometric.mean(veriutil/leguputil))
+print("Compilation time speedup")
+print(geometric.mean(legupct/verict))
-- 
cgit