diff options
Diffstat (limited to 'presentation/presentation.org')
-rw-r--r-- | presentation/presentation.org | 24 |
1 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%* | |-----------------+-----------------| |