#+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