diff options
-rw-r--r-- | presentation/presentation.org | 4 | ||||
-rw-r--r-- | presentation/presentation.pdf | bin | 2410743 -> 2410748 bytes |
2 files changed, 2 insertions, 2 deletions
diff --git a/presentation/presentation.org b/presentation/presentation.org index 6e1bb61..bc580ab 100644 --- a/presentation/presentation.org +++ b/presentation/presentation.org @@ -1159,8 +1159,8 @@ Fuzzed Vericert with Csmith to check correctness theorem. |-----------------+-----------------| | Vivado HLS | 1.23% | | Intel i++ | 0.4% | -| LegUp 4.0 | 0.1% | | Bambu 0.9.7-dev | 0.3% (13.7%) | +| LegUp 4.0 | 0.1% | |-----------------+-----------------| *** Only 2 @@ -1181,8 +1181,8 @@ Fuzzed Vericert with Csmith to check correctness theorem. |-----------------+-----------------| | Vivado HLS | 1.23% | | Intel i++ | 0.4% | -| LegUp 4.0 | 0.1% | | Bambu 0.9.7-dev | 0.3% (13.7%) | +| LegUp 4.0 | 0.1% | |-----------------+-----------------| | *Vericert* | *0% (0.03%)* | |-----------------+-----------------| diff --git a/presentation/presentation.pdf b/presentation/presentation.pdf Binary files differindex 680f403..22e9e58 100644 --- a/presentation/presentation.pdf +++ b/presentation/presentation.pdf |