diff options
author | John Wickerson <j.wickerson@imperial.ac.uk> | 2021-04-14 08:26:52 +0000 |
---|---|---|
committer | overleaf <overleaf@localhost> | 2021-04-14 08:27:34 +0000 |
commit | 9f706de5a5f17e2d9eef0b4bcf14e2d616c1e285 (patch) | |
tree | fd4c8ee8ce11e7672120c248e8450e0fb6832e85 /related.tex | |
parent | 7a3d069e1249acaa669b58d9c56359d1b778401b (diff) | |
download | oopsla21_fvhls-9f706de5a5f17e2d9eef0b4bcf14e2d616c1e285.tar.gz oopsla21_fvhls-9f706de5a5f17e2d9eef0b4bcf14e2d616c1e285.zip |
Update on Overleaf.
Diffstat (limited to 'related.tex')
-rw-r--r-- | related.tex | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/related.tex b/related.tex index 633fe6f..584653a 100644 --- a/related.tex +++ b/related.tex @@ -25,12 +25,12 @@ \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 at (0,0.5) {\bf \vericert{}}; - \node[align=left] at (-1.8,0.32) {K\^oika {\footnotesize\cite{bourgeat20_essen_blues}}}; - \node[align=left] at (-1.8,0.0) {L\"o\"ow et al. {\footnotesize\cite{loow19_verif_compil_verif_proces}}}; + \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}}; - \node at (2.2,0.2) {Ellis {\footnotesize\cite{ellis08}}}; - \node at (-1.3,-0.32) {Perna et al. {\footnotesize\cite{perna12_mechan_wire_wise_verif_handel_c_synth}}}; - \node at (0,-1.3) {BEDROC {\footnotesize\cite{chapman92_verif_bedroc}}}; + \node at (2.2,0.2) {\footnotesize\citet{ellis08}}; + \node at (-1.3,-0.32) { {\footnotesize\citet{perna12_mechan_wire_wise_verif_handel_c_synth}}}; + \node at (0,-1.3) {\footnotesize BEDROC \cite{chapman92_verif_bedroc}}; \node[align=left] at (-2.9,-1.7) {\color{colorproof}Correctness \\ \color{colorproof}proof}; \draw[myoutline] (1.2,-0.9) to (2.6,-1.7); |