Add

1 files changed, 5 insertions, 5 deletions

diff --git a/related.tex b/related.tex
index c6b8910..633fe6f 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.4) {Koika~\cite{bourgeat20_essen_blues}};
-    \node[align=left] at (-1.8,0.0) {L\"o\"ow et al.~\cite{loow19_verif_compil_verif_proces}};
+    \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 at (2.2,0.2) {Ellis~\cite{ellis08}};
-    \node at (-1.3,-0.4) {Perna et al.~\cite{perna12_mechan_wire_wise_verif_handel_c_synth}};
-    \node at (0,-1.3) {BEDROC~\cite{chapman92_verif_bedroc}};
+    \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[align=left] at (-2.9,-1.7) {\color{colorproof}Correctness \\ \color{colorproof}proof};
     \draw[myoutline] (1.2,-0.9) to (2.6,-1.7);