From 4441d04c4f6aedac4b055df65e4adc480ddc3d89 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Tue, 23 Feb 2021 22:12:27 +0000 Subject: New changes --- main.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/main.tex b/main.tex index 67567c1..3216f74 100644 --- a/main.tex +++ b/main.tex @@ -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 -- cgit