diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-02-19 15:50:04 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-02-19 15:50:04 +0000 |
commit | 5fb318476cf2bf23c47ea9d511947666c938fcb6 (patch) | |
tree | 87f21372319de3e110b167c8b106c2cf9499ff11 /draft.org | |
parent | 1efa11c4e7f0d988d79bd3be1e56a8a149303e07 (diff) | |
download | latte21_hlstpc-5fb318476cf2bf23c47ea9d511947666c938fcb6.tar.gz latte21_hlstpc-5fb318476cf2bf23c47ea9d511947666c938fcb6.zip |
Add main.tex
Diffstat (limited to 'draft.org')
-rw-r--r-- | draft.org | 17 |
1 files changed, 17 insertions, 0 deletions
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 |