diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-10-07 12:01:06 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-10-07 12:01:06 +0100 |
| commit | 6ee6b0b48cc5a959853b1ae6282856e51e26b014 (patch) | |
| tree | 74a900d8a43585e414a906c545b9a5200b110bec | |
| parent | 4bf5c08e1766bfa18b4a1505c34eefdcd043a3d2 (diff) | |
| download | oopsla21_fvhls-6ee6b0b48cc5a959853b1ae6282856e51e26b014.tar.gz oopsla21_fvhls-6ee6b0b48cc5a959853b1ae6282856e51e26b014.zip | |
| -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 |