diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-09-09 21:09:05 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-09-09 21:09:05 +0100 |
commit | 55528c1f1a11988897d46993756d6aa5873095af (patch) | |
tree | 3f77f427e8aba3712ac9a145a28471c9ddf2ead7 /related.tex | |
parent | 301291487f61c924ec16ec73c632b19ac5395a6d (diff) | |
download | oopsla21_fvhls-55528c1f1a11988897d46993756d6aa5873095af.tar.gz oopsla21_fvhls-55528c1f1a11988897d46993756d6aa5873095af.zip |
Figure -> Fig.
Diffstat (limited to 'related.tex')
-rw-r--r-- | related.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/related.tex b/related.tex index ee8e6b4..2ec5114 100644 --- a/related.tex +++ b/related.tex @@ -42,7 +42,7 @@ \caption{Summary of related work}\label{fig:related_euler} \end{figure} -A summary of the related works can be found in Figure~\ref{fig:related_euler}, which is represented as an Euler diagram. The categories chosen for the Euler diagram are: whether the tool is usable, whether it takes a high-level software language as input, whether it has a correctness proof, and finally whether that proof is mechanised. The goal of \vericert{} is to cover all of these categories. +A summary of the related works can be found in Fig.~\ref{fig:related_euler}, which is represented as an Euler diagram. The categories chosen for the Euler diagram are: whether the tool is usable, whether it takes a high-level software language as input, whether it has a correctness proof, and finally whether that proof is mechanised. The goal of \vericert{} is to cover all of these categories. Most practical HLS tools~\citep{canis11_legup,xilinx20_vivad_high_synth,intel20_sdk_openc_applic,nigam20_predic_accel_desig_time_sensit_affin_types} fit into the category of usable tools that take high-level inputs. On the other end of the spectrum, there are tools such as BEDROC~\citep{chapman92_verif_bedroc} for which there is no practical tool, and even though it is described as high-level synthesis, it more closely resembles today's logic synthesis tools. |