diff options
| -rw-r--r-- | evaluation.tex | 2 | ||||
| -rw-r--r-- | related.tex | 10 | ||||
| -rw-r--r-- | results/results.org | 6 |
3 files changed, 9 insertions, 9 deletions
diff --git a/evaluation.tex b/evaluation.tex index a48c153..61ce0e4 100644 --- a/evaluation.tex +++ b/evaluation.tex @@ -65,7 +65,7 @@ We configured \polybench{}'s parameters so that only integer types are used, sin \addplot+[legupnooptnochaincol] table [x expr=\coordindex,y=legup noopt,col sep=comma] from \divtimingtable; \draw (axis cs:-1,1) -- (axis cs:26,1); - \nextgroupplot[ymin=0.1,ylabel={Relative area to \legup{}}] + \nextgroupplot[ymin=0.3,ylabel={Relative area to \legup{}}] \addplot+[vericertcol] table [x expr=\coordindex,y=vericert,col sep=comma] from \divslicetable; \addplot+[legupnooptcol] table [x expr=\coordindex,y=legup noopt nochain,col sep=comma] from \divslicetable; \addplot+[legupnooptnochaincol] table [x expr=\coordindex,y=legup noopt,col sep=comma] from \divslicetable; 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); diff --git a/results/results.org b/results/results.org index 969d5d8..741a1ee 100644 --- a/results/results.org +++ b/results/results.org @@ -7,7 +7,7 @@ |----------------+---------------+-------+------+------+---------+-------+------+-------+-------+---------| | 2mm | 2 | 1764 | 4952 | 3541 | 4 | 0 | 24 | 0.152 | 4.59 | 467612 | | 3mm | 9 | 1940 | 5046 | 3834 | 8 | 0 | 21 | 0.156 | 4.56 | 604582 | -| adi | | | | | | | | | | | +| adi | | | | | | | | | | 1831462 | | atas | 8 | 599 | 1603 | 1254 | 4 | 0 | 6 | 0.128 | 4.539 | 101618 | | bicg | 0 | 930 | 2628 | 2012 | 4 | 0 | 9 | 0.138 | 4.692 | 130790 | | cholesky | 0 | 1898 | 5322 | 3192 | 8 | 0 | 12 | 0.141 | 4.877 | 2575070 | @@ -108,8 +108,10 @@ | 2mm | 1 | 1086 | 2421 | 2345 | 10 | 0 | 6 | 0.177 | 10.756 | 61724 | | 3mm | 1 | 2557 | 4876 | 5506 | 14 | 0 | 15 | 0.253 | 11.009 | 204177 | | atas | 9 | 1672 | 3207 | 3401 | 8 | 0 | 6 | 0.211 | 10.739 | 126288 | +| adi | 9 | 2148 | 5660 | 4318 | 8 | 0 | 12 | 0.245 | 11.4759 | 602584 | | bicg | 1 | 449 | 909 | 956 | 12 | 0 | 6 | 0.161 | 10.211 | 11907 | | cholesky | 3 | 1621 | 4387 | 3658 | 8 | 0 | 12 | 0.211 | 10.291 | 429665 | +| covariance | 7 | 1339 | 2562 | 3034 | 6 | 0 | 6 | 0.189 | 10.654 | 109992 | | doitgen | 5 | 1054 | 2504 | 2087 | 6 | 0 | 36 | 0.182 | 10.665 | 15675 | | durbin | 9 | 1227 | 3484 | 2517 | 6 | 0 | 12 | 0.221 | 8.865 | 13506 | | fdtd-2d | 8 | 1615 | 3002 | 3737 | 8 | 0 | 3 | 0.207 | 12.303 | 213833 | @@ -130,8 +132,6 @@ | syrk | 1 | 498 | 1158 | 1217 | 4 | 0 | 3 | 0.139 | 10.069 | 58955 | | trisolv | 9 | 1270 | 3321 | 2706 | 8 | 0 | 6 | 0.199 | 9.26 | 35382 | | trmm | 6 | 529 | 1219 | 1364 | 4 | 0 | 3 | 0.137 | 10.311 | 42052 | -| adi | 9 | 2148 | 5660 | 4318 | 8 | 0 | 12 | 0.245 | 11.4759 | 602584 | -| covariance | 7 | 1339 | 2562 | 3034 | 6 | 0 | 6 | 0.189 | 10.654 | 109992 | * LegUp No Opt |