aboutsummaryrefslogtreecommitdiffstats
path: root/benchmarks/polybench-syn-div/script.R
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2022-03-19 12:05:44 +0000
committerYann Herklotz <git@yannherklotz.com>2022-03-22 16:18:06 +0000
commit27fea2fe14a81f4e73e0e3e53ec5ac5db07a5d82 (patch)
tree4c474f1426a0f84f131300eff3c70f43cf7f77bc /benchmarks/polybench-syn-div/script.R
parent23fe30f8c23ecb743880cb9239410eb51bf1abab (diff)
downloadvericert-27fea2fe14a81f4e73e0e3e53ec5ac5db07a5d82.tar.gz
vericert-27fea2fe14a81f4e73e0e3e53ec5ac5db07a5d82.zip
Delete extra data files and scripts
Diffstat (limited to 'benchmarks/polybench-syn-div/script.R')
-rw-r--r--benchmarks/polybench-syn-div/script.R29
1 files changed, 0 insertions, 29 deletions
diff --git a/benchmarks/polybench-syn-div/script.R b/benchmarks/polybench-syn-div/script.R
deleted file mode 100644
index 0be16da..0000000
--- a/benchmarks/polybench-syn-div/script.R
+++ /dev/null
@@ -1,29 +0,0 @@
-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))
-print("LegUp RAM use")
-print(geometric.mean(data$legupregs))
-print("Vericert RAM use")
-print(geometric.mean(data$vericertregs))
-print("Area overhead")
-print(geometric.mean(data$vericertregs/data$legupregs))