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