diff options
| -rw-r--r-- | evaluation.tex | 51 | ||||
| -rw-r--r-- | main.tex | 2 |
2 files changed, 47 insertions, 6 deletions
diff --git a/evaluation.tex b/evaluation.tex index 7b1e6d6..89866ef 100644 --- a/evaluation.tex +++ b/evaluation.tex @@ -17,15 +17,53 @@ Our evaluation is designed to answer the following three research questions. \subsection{RQ1: How fast is CoqUp-generated hardware?} -\begin{itemize} - \item Draw a scatter graph and talk about it. Note: advantage of scatter graph is that it summarises a large number of benchmarks quite succinctly. However, barcharts is more traditional and would allow data for individual benchmarks to be more easily identified. -\end{itemize} +Figure~\ref{fig:comparison_time} shows..... + +\begin{figure} +\begin{tikzpicture} +\begin{axis}[ + xmode=log, + ymode=log, + height=60mm, + width=60mm, + xlabel={LegUp (ms)}, + ylabel={CoqUp (ms)}, + xmax=10, + log ticks with fixed point, + ] + +\addplot[draw=none, mark=*, draw opacity=0, fill opacity=0.3] + table [x=legupwallclockMS, y=coqupwallclockMS, col sep=comma] + {results/comparison.csv}; + +\end{axis} +\end{tikzpicture} +\caption{A comparison of the execution time of hardware designs generated by CoqUp and by LegUp} +\label{fig:comparison_time} +\end{figure} \subsection{RQ2: How area-efficient is CoqUp-generated hardware?} -\begin{itemize} - \item Draw a scatter graph and talk about it. -\end{itemize} +Figure~\ref{fig:comparison_area} shows.... + +\begin{figure} +\begin{tikzpicture} +\begin{axis}[ + height=60mm, + width=60mm, + xlabel={LegUp (\%)}, + ylabel={CoqUp (\%)}, + ] + +\addplot[draw=none, mark=*, draw opacity=0, fill opacity=0.3] + table [x=leguputilisation, y=coquputilisation, col sep=comma] + {results/comparison.csv}; + +\end{axis} +\end{tikzpicture} +\caption{A comparison of the resource utilisation of designs generated by CoqUp and by LegUp} +\label{fig:comparison_area} +\end{figure} \subsection{RQ3: How long does CoqUp take to produce hardware?} @@ -66,4 +104,5 @@ The difference in cycle counts shows the degree of parallelism that LegUp's sch %%% Local Variables: %%% mode: latex %%% TeX-master: "main" +%%% TeX-command-extra-options: "-shell-escape" %%% End: @@ -45,6 +45,7 @@ \usepackage{amsmath} \usepackage{booktabs} \usepackage{mathpartir} +\usepackage{pgfplots} \usepackage{subcaption} \usepackage{tikz} \usepackage{minted} @@ -233,4 +234,5 @@ Text of appendix \ldots %%% Local Variables: %%% mode: latex %%% TeX-master: t +%%% TeX-command-extra-options: "-shell-escape" %%% End: |