diff options
Diffstat (limited to 'evaluation.tex')
| -rw-r--r-- | evaluation.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/evaluation.tex b/evaluation.tex index c5ecbff..8f49de1 100644 --- a/evaluation.tex +++ b/evaluation.tex @@ -99,7 +99,7 @@ Figure~\ref{fig:comparison_comptime} compares the compilation times of \vericert \begin{table} \begin{tabular}{lcccccc} \toprule - Benchmark & Cycles & Frequency & LUTs & Registers & BRAMs\\ + Bench & Cycles & MHz & LUTs & Reg & BRAMs\\ \midrule adpcm & 30241 &90.05 & 7719 & 12034 & 7\\ aes & 8489 & 87.83 & 24413 & 23796 & 19 \\ @@ -113,7 +113,7 @@ Figure~\ref{fig:comparison_comptime} compares the compilation times of \vericert \begin{table} \begin{tabular}{lccccccc} \toprule - Benchmark & Cycles & Frequency & LUTs & Registers & BRAMs & DSPs\\ + Bench & Cycles & MHz & LUTs & Reg & BRAMs & DSPs\\ \midrule adpcm & 121386 & 66.3 & 51626 & 42688 & 0 & 48 &\\ aes & 41958 & 19.6 & 104017 & 94239 & 0 & 6 \\ |