From 6ee6b0b48cc5a959853b1ae6282856e51e26b014 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 7 Oct 2021 12:01:06 +0100 Subject: Update presentation --- presentation/presentation.org | 24 ++++++++++++++++++++++++ presentation/presentation.pdf | Bin 2529950 -> 2516847 bytes 2 files changed, 24 insertions(+) diff --git a/presentation/presentation.org b/presentation/presentation.org index b0a3955..6e23c65 100644 --- a/presentation/presentation.org +++ b/presentation/presentation.org @@ -1319,6 +1319,30 @@ Fuzzed Vericert with Csmith to check correctness theorem. :BEAMER_OPT: 5cm :END: +#+attr_latex: :booktabs t +|-----------------+-----------------| +| Tool | Run-time errors | +|-----------------+-----------------| +| Vivado HLS | 1.23% | +| Intel i++ | 0.4% | +| Bambu 0.9.7-dev | 0.3% | +| LegUp 4.0 | 0.1% | +|-----------------+-----------------| +| *Vericert* | *0.03%* | +|-----------------+-----------------| + +*** Only 3 +:PROPERTIES: +:BEAMER_ENV: onlyenvNH +:BEAMER_ACT: 3 +:END: + +**** Minipage +:PROPERTIES: +:BEAMER_ENV: minipage +:BEAMER_OPT: 5cm +:END: + #+attr_latex: :booktabs t |-----------------+-----------------| | Tool | Run-time errors | diff --git a/presentation/presentation.pdf b/presentation/presentation.pdf index af5ac63..9697ff3 100644 Binary files a/presentation/presentation.pdf and b/presentation/presentation.pdf differ -- cgit