diff options
Diffstat (limited to 'chapters/conclusion.tex')
-rw-r--r-- | chapters/conclusion.tex | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/chapters/conclusion.tex b/chapters/conclusion.tex index ee816cb..62779fc 100644 --- a/chapters/conclusion.tex +++ b/chapters/conclusion.tex @@ -5,4 +5,10 @@ \chapter{Conclusion} +Vericert is currently a fully verified but simple \HLS\ tool. For the rest of my PhD, the goal will +be to improve the throughput of the designs that are generated by Vericert, by first parallelising +instructions using scheduling on hyperblocks, as well as introducing modulo scheduling to handle +loops. One other possible extension could be to collaborate with Sandrine Blazy and Delphine +Demange to implement a dynamic \HLS\ tool using \GSA\ as a base representation. + \stopcomponent |