diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-02-23 11:17:25 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-02-23 11:17:25 +0000 |
commit | 4355f514ce2f7de3d75fd02e8119d1c193a7b497 (patch) | |
tree | 4f5d1869d2e4ccd304313d973acc83d95b4e8bd1 /draft.org | |
parent | 0c5b604c798ae1ff7fd8f157c30d2253b784eeac (diff) | |
download | latte21_hlstpc-4355f514ce2f7de3d75fd02e8119d1c193a7b497.tar.gz latte21_hlstpc-4355f514ce2f7de3d75fd02e8119d1c193a7b497.zip |
More work
Diffstat (limited to 'draft.org')
-rw-r--r-- | draft.org | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -1,6 +1,15 @@ #+title: Paper Outline and Draft #+author: Yann Herklotz +** A possible story: + +- High-level synthesis is increasingly being relied upon. +- But it's really flaky. (Cite bugs from FCCM submission etc.) +- There exist some workarounds. (Testing the output, formally verifying the output, etc.) +- The time has come to prove the tool itself correct. (Mention success of Compcert and other fully verified tools?) +- We've made some encouraging progress on this front in a prototype tool called Vericert. (Summarise current state of Vericert, and how it compares performance-wise to LegUp.) +- But there's still a long way to go. (List the main things left to do, and how you expect Vericert to compare to LegUp after those things are done.) + - Performance vs correctness. * Introduction |