diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-04-13 17:08:31 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-04-13 17:08:45 +0100 |
| commit | 12cf73bfe39d00fea73b17b831e09d419df0e121 (patch) | |
| tree | c6b263879550f89d8e21da99fd8cbec66b3c4e94 /related.tex | |
| parent | b6e4d6c2a90d89d3ab56110e3f621fd92408eae7 (diff) | |
| download | oopsla21_fvhls-12cf73bfe39d00fea73b17b831e09d419df0e121.tar.gz oopsla21_fvhls-12cf73bfe39d00fea73b17b831e09d419df0e121.zip | |
More changes
Diffstat (limited to 'related.tex')
| -rw-r--r-- | related.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/related.tex b/related.tex index 3fed547..c6b8910 100644 --- a/related.tex +++ b/related.tex @@ -22,8 +22,8 @@ \draw[myoutline] (0,0.3) ellipse (3.7 and 1.9); \draw[myoutline] (0,0) ellipse (3 and 1.0); - \node[align=center] at (0,2.8) {Standard HLS \\ tools~\cite{canis11_legup,xilinx20_vivad_high_synth,intel20_sdk_openc_applic,nigam20_predic_accel_desig_time_sensit_affin_types}}; - \node[align=center] at (0,1.5) {Translation validation \\ approaches~\cite{mentor20_catap_high_level_synth,kundu08_valid_high_level_synth,clarke03_behav_c_veril}}; + \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}}; |