diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-06-09 13:16:09 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-06-09 13:16:09 +0100 |
commit | 76db47c09b93e1ac32ebc01735f85555f49c8239 (patch) | |
tree | c95f59c11d4a0cdf0ac6a1772d3eddc83ec43f56 /main.tex | |
parent | e6483607fcb8498a79be996063d6ba809f0d6902 (diff) | |
parent | 052dd0a68bdb229c172bd3518c3d0d4d9f62ecf8 (diff) | |
download | oopsla21_fvhls-76db47c09b93e1ac32ebc01735f85555f49c8239.tar.gz oopsla21_fvhls-76db47c09b93e1ac32ebc01735f85555f49c8239.zip |
Merge branch 'master' of https://git.overleaf.com/5ed78033b633200001e693d0
Diffstat (limited to 'main.tex')
-rw-r--r-- | main.tex | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -211,7 +211,8 @@ CoqUp is open source and is hosted on Github\footnote{https://github.com/ymherkl \end{itemize} } -\YH{Amazing, thank you, yes it seems like Kundu \textit{et al.} have quite a few papers on formal verification of HLS algorithms using translation validation, as well as~\citet{karfa06_formal_verif_method_sched_high_synth}, all using the SPARK~\cite{gupta03_spark} synthesis tool. And yes thank you, will definitely cite that paper. There seem to be similar early proofs of high-level synthesis like \citet{hwang91_formal_approac_to_sched_probl} or \citet{grass94_high}. There are also the Occam papers that I need to mention too, like \citet{page91_compil_occam}, \citet{jifeng93_towar}, \citet{perna11_correc_hardw_synth} and \citet{perna12_mechan_wire_wise_verif_handel_c_synth}.} +\YH{Amazing, thank you, yes it seems like Kundu \textit{et al.} have quite a few papers on formal verification of HLS algorithms using translation validation, as well as~\citet{karfa06_formal_verif_method_sched_high_synth}, all using the SPARK~\cite{gupta03_spark} synthesis tool. And yes thank you, will definitely cite that paper. There seem to be similar early proofs of high-level synthesis like \citet{hwang91_formal_approac_to_sched_probl} or \citet{grass94_high}. There are also the Occam papers that I need to mention too, like \citet{page91_compil_occam}, \citet{jifeng93_towar}, \citet{perna11_correc_hardw_synth} and \citet{perna12_mechan_wire_wise_verif_handel_c_synth}.} +\JW{Well it's a good job there's no page limit on bibliographies these days then! I'll keep an eye out for more papers we could cite when I get a free moment. (No need to cite \emph{everything} of course.)} \section{Verilog Semantics} |