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 | |
| parent | c5b50a4f07ee58934d67fd12bce949f9446b73cd (diff) | |
| download | vericert-4001ed4c6eca2882100fe3735349e67b1cb15e67.tar.gz vericert-4001ed4c6eca2882100fe3735349e67b1cb15e67.zip | |
scripts
Diffstat (limited to 'benchmarks')
| -rw-r--r-- | benchmarks/polybench-syn/script.R | 6 | ||||
| -rwxr-xr-x | benchmarks/polybench-syn/setup-syn-vericert.sh | 2 |
2 files changed, 7 insertions, 1 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)) 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 |