From 8683616af94aa8cae82cdd07798941ca1f3180b0 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Wed, 3 Jun 2020 12:21:17 +0100 Subject: Add references --- main.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'main.tex') diff --git a/main.tex b/main.tex index 78c2403..858e916 100644 --- a/main.tex +++ b/main.tex @@ -149,7 +149,7 @@ %% Note: \begin{abstract}...\end{abstract} environment must come %% before \maketitle command \begin{abstract} -Text of abstract \ldots. + We propose a formally verified HLS flow based on CompCert~\cite{leroy09_formal_verif_realis_compil}, by adding a Verilog backend which is a language used to describe hardware. \end{abstract} @@ -211,7 +211,7 @@ Text of paper \ldots %% Bibliography -%\bibliography{bibfile} +\bibliography{references.bib} %% Appendix -- cgit