diff options
author | John Wickerson <> | 2020-11-12 12:34:26 +0000 |
---|---|---|
committer | John Wickerson <> | 2020-11-12 12:34:26 +0000 |
commit | 6f0cf440a54d6a112e94e3cd32e538df222ed61b (patch) | |
tree | c5d37e7595a5dd032814cbf82b7b8cf44a3a2c71 /related.tex | |
parent | fc18d96bbfb066d3b33c3e61706f7cf03159fc93 (diff) | |
download | oopsla21_fvhls-6f0cf440a54d6a112e94e3cd32e538df222ed61b.tar.gz oopsla21_fvhls-6f0cf440a54d6a112e94e3cd32e538df222ed61b.zip |
add koika
Diffstat (limited to 'related.tex')
-rw-r--r-- | related.tex | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/related.tex b/related.tex index bde0a8b..6457913 100644 --- a/related.tex +++ b/related.tex @@ -25,7 +25,9 @@ \node[align=center] at (0,2.8) {Standard HLS \\ tools~\cite{canis+11, vivadohls, intelopencl, dahlia}}; \node[align=center] at (0,1.5) {Translation validation \\ approaches~\cite{mentor20_catap_high_level_synth, kundu08_valid_high_level_synth, clarke_kroening_yorav_03}}; \node at (0,0.5) {\bf \vericert{}}; -\node[align=left] at (-1.5,0.2) {L\"o\"ow \\ et al.~\cite{loow}}; +\node[align=left] at (-1.5,0.4) {Koika~\cite{koika_pldi2020}}; +\node[align=left] at (-1.5,0.0) {L\"o\"ow et al.~\cite{loow}}; + \node at (1.8,0.2) {Ellis~\cite{ellis08}}; \node at (0,-0.6) {Perna et al.~\cite{perna12_mechan_wire_wise_verif_handel_c_synth}}; \node at (0,-1.3) {BEDROC~\cite{chapman92_verif_bedroc}}; @@ -34,7 +36,7 @@ \draw[myoutline] (1.2,-0.9) to (2.6,-1.7); \node[align=right] at (2.6,-1.7) {\color{colormechanised}Mechanised \\ \color{colormechanised}correctness proof}; \node at (-2.8,4.1) {\color{colorusabletool}\strut Usable tool}; -\node at (2.7,4.1) {\color{colorhighlevel}\strut High-level input}; +\node at (2.1,4.1) {\color{colorhighlevel}\strut High-level software input}; \end{tikzpicture} |