From 46512862681711965ae680633e146c23356794f5 Mon Sep 17 00:00:00 2001
From: "n.ramanathan14" <n.ramanathan14@imperial.ac.uk>
Date: Thu, 19 Nov 2020 14:46:18 +0000
Subject: Update on Overleaf.

---
 evaluation.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'evaluation.tex')

diff --git a/evaluation.tex b/evaluation.tex
index c5b09ff..8981f11 100644
--- a/evaluation.tex
+++ b/evaluation.tex
@@ -88,7 +88,7 @@ In addition, we initial the input arrays and check the output arrays of all prog
   
 \end{axis}
 \end{tikzpicture}
-\caption{A comparison of the execution time of hardware designs generated by \vericert{} and by \legup{}.}
+\caption{A comparison of the execution time of hardware designs generated by \vericert{} and by \legup{}, where the diagonal represents $y=x$.}
 \label{fig:comparison_time}
 \end{figure}
 
@@ -126,7 +126,7 @@ Cycle count is one factor in calculating execution latency. The other factor is
   table [x expr=(\thisrow{legupluts}/427200*100), y expr=(\thisrow{vericertluts}/427200*100), col sep=comma]
   {results/poly.csv};
   
-  \addplot[dashed, domain=0:1]{x};
+%   \addplot[dashed, domain=0:1]{x};
   
 \end{axis}
 \end{tikzpicture}
-- 
cgit 

