blob: 409ee00a776e0909fb1bd7a293c49b4d6a808564 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
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
|
