From 8683616af94aa8cae82cdd07798941ca1f3180b0 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
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 

