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 ++++++ benchmarks/polybench-syn/setup-syn-vericert.sh | 2 +- 2 files changed, 7 insertions(+), 1 deletion(-) 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)) diff --git a/benchmarks/polybench-syn/setup-syn-vericert.sh b/benchmarks/polybench-syn/setup-syn-vericert.sh index e9a8dda..22356f7 100755 --- a/benchmarks/polybench-syn/setup-syn-vericert.sh +++ b/benchmarks/polybench-syn/setup-syn-vericert.sh @@ -3,7 +3,7 @@ top=$(pwd) #set up basedir=poly-syn - sshhost=nr113@ee-beholder0.ee.ic.ac.uk + sshhost=$1 ssh $sshhost "cd ~; rm -r $basedir" ssh $sshhost "cd ~; mkdir $basedir" scp quartus_synth.tcl $sshhost:$basedir -- cgit