From 4001ed4c6eca2882100fe3735349e67b1cb15e67 Mon Sep 17 00:00:00 2001 From: Nadesh Ramanathan Date: Thu, 19 Nov 2020 14:43:38 +0000 Subject: scripts --- benchmarks/polybench-syn/script.R | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'benchmarks/polybench-syn/script.R') 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)) -- cgit