From d28f866bc80a61332b2942651b64f5def6753635 Mon Sep 17 00:00:00 2001
From: John Wickerson <j.wickerson@imperial.ac.uk>
Date: Wed, 18 Nov 2020 10:57:09 +0000
Subject: Update on Overleaf.

---
 evaluation.tex | 51 ++++++++++++++++++++++++++++++++++++++++-----------
 1 file changed, 40 insertions(+), 11 deletions(-)

(limited to 'evaluation.tex')

diff --git a/evaluation.tex b/evaluation.tex
index 2a444df..13ab4b4 100644
--- a/evaluation.tex
+++ b/evaluation.tex
@@ -49,25 +49,54 @@ Our evaluation is designed to answer the following three research questions. \JW
     ymode=log,
     height=80mm,
     width=80mm,
-    xlabel={LegUp (ms)},
-    ylabel={\vericert{} (ms)},
+    xlabel={\legup{} cycle count},
+    ylabel={\vericert{} cycle count},
+    xmin=1000,
+    xmax=10000000,
+    ymax=10000000,
+    ymin=1000,
+    %log ticks with fixed point,
+  ]
+  
+\addplot[draw=none, mark=*, draw opacity=0, fill opacity=0.3]
+  table [x=legupcycles, y=vericertcycles, col sep=comma]
+  {results/poly.csv};
+
+\addplot[dotted, domain=1000:10000000]{x};
+%\addplot[dashed, domain=10:10000]{9.02*x};
+  
+\end{axis}
+\end{tikzpicture}
+\caption{A comparison of the cycle count of hardware designs generated by \vericert{} and by \legup{}.}
+\label{fig:comparison_cycles}
+\end{figure}
+
+\begin{figure}
+\begin{tikzpicture}
+\begin{axis}[
+    xmode=log,
+    ymode=log,
+    height=80mm,
+    width=80mm,
+    xlabel={\legup{} execution time (ms)},
+    ylabel={\vericert{} execution time (ms)},
     xmin=10,
-    xmax=10000,
+    xmax=100000,
     ymax=100000,
     ymin=10,
-    log ticks with fixed point,
+    %log ticks with fixed point,
   ]
   
 \addplot[draw=none, mark=*, draw opacity=0, fill opacity=0.3]
   table [x expr={\thisrow{legupcycles}/\thisrow{legupfreqMHz}}, y expr={\thisrow{vericertcycles}/\thisrow{vericertfreqMHz}}, col sep=comma]
   {results/poly.csv};
 
-\addplot[dotted, domain=10:10000]{x};
-\addplot[dashed, domain=10:10000]{9.02*x};
+\addplot[dotted, domain=10:100000]{x};
+%\addplot[dashed, domain=10:10000]{9.02*x};
   
 \end{axis}
 \end{tikzpicture}
-\caption{A comparison of the execution time of hardware designs generated by \vericert{} and by LegUp. The diagonal is at $y=9x$.}
+\caption{A comparison of the execution time of hardware designs generated by \vericert{} and by \legup{}.}
 \label{fig:comparison_time}
 \end{figure}
 
@@ -82,8 +111,8 @@ The difference in cycle counts shows the degree of  parallelism that \legup{}'s
 \begin{axis}[
     height=80mm,
     width=80mm,
-    xlabel={LegUp (\%)},
-    ylabel={\vericert{} (\%)},
+    xlabel={\legup{} resource utilisation (\%)},
+    ylabel={\vericert{} resource utilisation (\%)},
     xmin=0, ymin=0,
     xmax=1, ymax=30,
   ]
@@ -109,8 +138,8 @@ Figure~\ref{fig:comparison_area} compares the size of the hardware designs gener
 \begin{axis}[
     height=80mm,
     width=80mm,
-    xlabel={LegUp (s)},
-    ylabel={\vericert{} (s)},
+    xlabel={\legup{} compilation time (s)},
+    ylabel={\vericert{} compilation time (s)},
     yticklabel style={
         /pgf/number format/fixed,
         /pgf/number format/precision=2},
-- 
cgit