From dc0eb6c626a4068a9d28da5caafce7c39c3fd6ea Mon Sep 17 00:00:00 2001
From: Yann Herklotz <ymh15@ic.ac.uk>
Date: Mon, 18 Jan 2021 11:24:53 +0000
Subject: Update on Overleaf.

---
 intro.tex | 1 +
 1 file changed, 1 insertion(+)

(limited to 'intro.tex')

diff --git a/intro.tex b/intro.tex
index 18c0074..4d3f311 100644
--- a/intro.tex
+++ b/intro.tex
@@ -1,4 +1,5 @@
 \section{Introduction}
+
 High-level synthesis (HLS), which refers to the automatic translation of software into hardware, is becoming an increasingly important part of the computing landscape.
 It promises hardware engineers an increase in productivity by raising the abstraction level of their designs, and it promises software engineers the ability to produce application-specific hardware accelerators without having to understand hardware description languages (HDL) such as Verilog and VHDL.
 HLS is being used in an ever greater range of domains, including such high-assurance settings as financial services~\cite{hls_fintech}, control systems~\cite{hls_controller}, and real-time object detection~\cite{hls_objdetect}. As such, HLS tools are increasingly relied upon, even though ``high-level synthesis research and development is inherently prone to introducing bugs or regressions in the final circuit functionality''~\cite[Section 3.4.6]{canis15_legup}.  In this paper, we investigate whether they are trustworthy and give an empirical evaluation of their reliability.
-- 
cgit 

