From 46512862681711965ae680633e146c23356794f5 Mon Sep 17 00:00:00 2001 From: "n.ramanathan14" 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