diff options
author | Nadesh Ramanathan <nadeshramanathan88@gmail.com> | 2020-11-19 14:43:38 +0000 |
---|---|---|
committer | Nadesh Ramanathan <nadeshramanathan88@gmail.com> | 2020-11-19 14:43:38 +0000 |
commit | 4001ed4c6eca2882100fe3735349e67b1cb15e67 (patch) | |
tree | 1332d327bfaafa0f2d09c485f8eb5574f6ddfda3 /benchmarks/polybench-syn/script.R | |
parent | c5b50a4f07ee58934d67fd12bce949f9446b73cd (diff) | |
download | vericert-kvx-4001ed4c6eca2882100fe3735349e67b1cb15e67.tar.gz vericert-kvx-4001ed4c6eca2882100fe3735349e67b1cb15e67.zip |
scripts
Diffstat (limited to 'benchmarks/polybench-syn/script.R')
-rw-r--r-- | benchmarks/polybench-syn/script.R | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/benchmarks/polybench-syn/script.R b/benchmarks/polybench-syn/script.R index 9ee49ad..0be16da 100644 --- a/benchmarks/polybench-syn/script.R +++ b/benchmarks/polybench-syn/script.R @@ -21,3 +21,9 @@ 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)) |