diff options
Diffstat (limited to 'related.tex')
| -rw-r--r-- | related.tex | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/related.tex b/related.tex index 335aa8d..9deb788 100644 --- a/related.tex +++ b/related.tex @@ -13,3 +13,8 @@ to logical and implementation errors''. They did, however, find two bugs in SPAR \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.)} \YH{Yes that's true, there are too many to cite! And great thank you, that would help a lot, I have quite a few papers I still want to cite, but have to think about where they will fit in.} + +%%% Local Variables: +%%% mode: latex +%%% TeX-master: "main" +%%% End: |