diff options
-rw-r--r-- | evaluation.tex | 4 |
1 files changed, 2 insertions, 2 deletions
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} |