diff options
author | Nadesh Ramanathan <nadeshramanathan88@gmail.com> | 2020-11-18 11:20:58 +0000 |
---|---|---|
committer | Nadesh Ramanathan <nadeshramanathan88@gmail.com> | 2020-11-18 11:20:58 +0000 |
commit | c5b50a4f07ee58934d67fd12bce949f9446b73cd (patch) | |
tree | 173c0e3f54bb7cade17e8c215ebb8809017f4568 /benchmarks/polybench-syn/script.R | |
parent | 080e57abd5cacf0eb8c9773af32700f035935593 (diff) | |
download | vericert-c5b50a4f07ee58934d67fd12bce949f9446b73cd.tar.gz vericert-c5b50a4f07ee58934d67fd12bce949f9446b73cd.zip |
poly numbers and R scripts for basic stats
Diffstat (limited to 'benchmarks/polybench-syn/script.R')
-rw-r--r-- | benchmarks/polybench-syn/script.R | 23 |
1 files changed, 23 insertions, 0 deletions
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)) |