diff options
author | John Wickerson <j.wickerson@imperial.ac.uk> | 2021-04-14 08:48:26 +0000 |
---|---|---|
committer | overleaf <overleaf@localhost> | 2021-04-14 08:54:32 +0000 |
commit | f4f876335f394097456aca251fc2afe829b2856d (patch) | |
tree | 61862b75a03925afcf2ce884e139e55758ae78f8 /related.tex | |
parent | 63e49acc629788ba975fa6dc1a4abb07ca172c8c (diff) | |
download | oopsla21_fvhls-f4f876335f394097456aca251fc2afe829b2856d.tar.gz oopsla21_fvhls-f4f876335f394097456aca251fc2afe829b2856d.zip |
Update on Overleaf.
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 584653a..6e5dc2b 100644 --- a/related.tex +++ b/related.tex @@ -23,7 +23,7 @@ \draw[myoutline] (0,0) ellipse (3 and 1.0); \node[align=center] at (0,2.8) {Standard HLS tools \\ \footnotesize\cite{canis11_legup,intel20_sdk_openc_applic} \\ \footnotesize\cite{nigam20_predic_accel_desig_time_sensit_affin_types,xilinx20_vivad_high_synth}}; - \node[align=center] at (0,1.5) {Translation validation approaches \\ \footnotesize\cite{mentor20_catap_high_level_synth,kundu08_valid_high_level_synth,clarke03_behav_c_veril}}; + \node[align=center] at (0.15,1.5) {Translation validation approaches \\ \footnotesize\cite{mentor20_catap_high_level_synth,kundu08_valid_high_level_synth,clarke03_behav_c_veril}}; \node at (0,0.5) {\bf \vericert{}}; \node[align=left] at (-1.8,0.0) {\footnotesize K\^oika \cite{bourgeat20_essen_blues}}; \node[align=left] at (-1.8,0.32) { \footnotesize\citet{loow19_verif_compil_verif_proces}}; |