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