From 5fb318476cf2bf23c47ea9d511947666c938fcb6 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Fri, 19 Feb 2021 15:50:04 +0000 Subject: Add main.tex --- draft.org | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 draft.org (limited to 'draft.org') diff --git a/draft.org b/draft.org new file mode 100644 index 0000000..455142f --- /dev/null +++ b/draft.org @@ -0,0 +1,17 @@ +#+title: Paper Outline and Draft +#+author: Yann Herklotz + +- Performance vs correctness. + +* Introduction + +- Importance of correctness, especially in HLS. +- [cite:lahti19_are_we_there_yet]: Talks about being able to trust synthesis tools. +- Current focus of HLS is mainly on optimisations +- Correctness guarantees help with duplicate verificaton + +* How can we prove an HLS tool correct? + +* Guarantees and trusted code + +* Performance of such a tool -- cgit