Add references to polybench

1 files changed, 1 insertions, 1 deletions

diff --git a/main.tex b/main.tex
index 420819e..95a6b7b 100644
--- a/main.tex
+++ b/main.tex
@@ -216,7 +216,7 @@ However, there are also assumptions that have to be made about the tool.  In the
 
 \section{Performance of such a tool}
 
-Finally, it is interesting to check the performance of Vericert compared to existing HLS tools, to see how correctness guarantees affect the size and speed of the final hardware.
+Finally, it is interesting to compare the performance of Vericert compared to existing HLS tools, to see how correctness guarantees affect the size and speed of the final hardware.  This was done on a common compiler benchmark called PolyBench/C~\cite{polybench}.
 
 %% Acknowledgments
 %\begin{acks}%% acks environment is optional