diff options
Diffstat (limited to 'main.tex')
| -rw-r--r-- | main.tex | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -270,7 +270,7 @@ The main idea used to prove the scheduling correct, is to split it up into multi \section{Conclusion} -In conclusion, we have shown that a verified HLS tool can achieve similar performance to an existing, unverified HLS tool, while guaranteeing that the output is always correct. +In conclusion, we have shown that a verified HLS tool could achieve similar performance to an existing unverified HLS tool, while guaranteeing that the output is always correct. %% Acknowledgments %\begin{acks}%% acks environment is optional |