From c675dd67ffa0376b9c341fd52db7ab62f3fdd9b8 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sun, 3 Oct 2021 18:32:56 +0100 Subject: Add table to the results --- presentation/presentation.org | 65 +++++++++++++++++++++++++++++------------- 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 index acef371..680f403 100644 Binary files a/presentation/presentation.pdf and b/presentation/presentation.pdf differ -- cgit