diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-02-19 17:18:09 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-02-19 17:18:09 +0000 |
| commit | 3434ff03541e9a2bc0487935c2eea4da746b9c46 (patch) | |
| tree | d8f24ae33ff90db2eac9b1acb466479941222827 /draft.org | |
| parent | 5fb318476cf2bf23c47ea9d511947666c938fcb6 (diff) | |
| download | latte21_hlstpc-3434ff03541e9a2bc0487935c2eea4da746b9c46.tar.gz latte21_hlstpc-3434ff03541e9a2bc0487935c2eea4da746b9c46.zip | |
Add more changes
Diffstat (limited to 'draft.org')
| -rw-r--r-- | draft.org | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -8,7 +8,7 @@ - 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 +- Correctness guarantees help with duplicate verificaton. * How can we prove an HLS tool correct? |