diff options
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? |