diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-10-03 18:32:56 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-10-03 18:32:56 +0100 |
| commit | c675dd67ffa0376b9c341fd52db7ab62f3fdd9b8 (patch) | |
| tree | c5237bf04cc3340497f92fbc375090a6c9e75379 | |
| parent | 5a9c5a4c6aed0d05396b2c04b3148377ee38d2b1 (diff) | |
| download | oopsla21_fvhls-c675dd67ffa0376b9c341fd52db7ab62f3fdd9b8.tar.gz oopsla21_fvhls-c675dd67ffa0376b9c341fd52db7ab62f3fdd9b8.zip | |
Add table to the results
| -rw-r--r-- | presentation/presentation.org | 65 | ||||
| -rw-r--r-- | presentation/presentation.pdf | bin | 2410099 -> 2410743 bytes |
2 files changed, 45 insertions, 20 deletions
diff --git a/presentation/presentation.org b/presentation/presentation.org index e545568..6e1bb61 100644 --- a/presentation/presentation.org +++ b/presentation/presentation.org @@ -1139,28 +1139,53 @@ Prove the simulation diagram correct: Fuzzed Vericert with Csmith to check correctness theorem. -- One bug was found in the pretty printing. -- Many compile-time errors are expected. -- Mainly rejected because of wrong size. +#+beamer: \vspace{3em} -#+beamer: \vspace{1em} +*** Only 1 +:PROPERTIES: +:BEAMER_ENV: onlyenvNH +:BEAMER_ACT: 1 +:END: -#+begin_export latex -\definecolor{fuzzred}{HTML}{f8514f} -\definecolor{fuzzyellow}{HTML}{fee4bf} -\definecolor{fuzzgreen}{HTML}{b2df8a} -\begin{tikzpicture}[xscale=0.11] - \draw[-latex] (13,0.5) to (13,0.25); - \draw[-latex] (55,0.5) to (55,0.25); - \draw[-latex] (99.85,0.5) to (99.85,0.25); - \draw[fuzzgreen, line width=5mm] (0,0) to (26.0,0); - \draw[fuzzyellow, line width=5mm] (26.0,0) to (99.7,0); - \draw[fuzzred, line width=5mm] (99.7,0) to (100,0); - \node[anchor=south] at (13,0.5) {\footnotesize passes (26.00\%)}; - \node[anchor=south] at (55,0.5) {\footnotesize compile-time errors (73.97\%)}; - \node[anchor=south] at (100,0.5) {\footnotesize run-time errors (0.03\%)}; -\end{tikzpicture} -#+end_export +**** Minipage +:PROPERTIES: +:BEAMER_ENV: minipage +:BEAMER_OPT: 5cm +:END: + +#+attr_latex: :booktabs t +|-----------------+-----------------| +| Tool | Run-time errors | +|-----------------+-----------------| +| Vivado HLS | 1.23% | +| Intel i++ | 0.4% | +| LegUp 4.0 | 0.1% | +| Bambu 0.9.7-dev | 0.3% (13.7%) | +|-----------------+-----------------| + +*** Only 2 +:PROPERTIES: +:BEAMER_ENV: onlyenvNH +:BEAMER_ACT: 2 +:END: + +**** Minipage +:PROPERTIES: +:BEAMER_ENV: minipage +:BEAMER_OPT: 5cm +:END: + +#+attr_latex: :booktabs t +|-----------------+-----------------| +| Tool | Run-time errors | +|-----------------+-----------------| +| Vivado HLS | 1.23% | +| Intel i++ | 0.4% | +| LegUp 4.0 | 0.1% | +| Bambu 0.9.7-dev | 0.3% (13.7%) | +|-----------------+-----------------| +| *Vericert* | *0% (0.03%)* | +|-----------------+-----------------| ** Conclusion diff --git a/presentation/presentation.pdf b/presentation/presentation.pdf Binary files differindex acef371..680f403 100644 --- a/presentation/presentation.pdf +++ b/presentation/presentation.pdf |