diff options
-rw-r--r-- | presentation/presentation.org | 24 | ||||
-rw-r--r-- | presentation/presentation.pdf | bin | 2529950 -> 2516847 bytes |
2 files changed, 24 insertions, 0 deletions
diff --git a/presentation/presentation.org b/presentation/presentation.org index b0a3955..6e23c65 100644 --- a/presentation/presentation.org +++ b/presentation/presentation.org @@ -1328,6 +1328,30 @@ Fuzzed Vericert with Csmith to check correctness theorem. | 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 | +|-----------------+-----------------| +| Vivado HLS | 1.23% | +| Intel i++ | 0.4% | +| Bambu 0.9.7-dev | 0.3% | +| LegUp 4.0 | 0.1% | +|-----------------+-----------------| | *Vericert* | +0.03%+ *0%* | |-----------------+-----------------| diff --git a/presentation/presentation.pdf b/presentation/presentation.pdf Binary files differindex af5ac63..9697ff3 100644 --- a/presentation/presentation.pdf +++ b/presentation/presentation.pdf |