diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-02-23 22:12:27 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-02-23 22:12:27 +0000 |
commit | 4441d04c4f6aedac4b055df65e4adc480ddc3d89 (patch) | |
tree | 75dbb978e343f45b4366c02fbfabae9774d40f93 | |
parent | 5da4afb0d561620c8be7c3f1ae5c6d01ba7b6017 (diff) | |
download | latte21_hlstpc-4441d04c4f6aedac4b055df65e4adc480ddc3d89.tar.gz latte21_hlstpc-4441d04c4f6aedac4b055df65e4adc480ddc3d89.zip |
New changes
-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 |