diff options
Diffstat (limited to 'evaluation.tex')
| -rw-r--r-- | evaluation.tex | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/evaluation.tex b/evaluation.tex index 45fcc27..704d352 100644 --- a/evaluation.tex +++ b/evaluation.tex @@ -16,14 +16,14 @@ \end{table} \begin{table} - \begin{tabular}{lcccccc} + \begin{tabular}{lccccccc} \toprule - Benchmark & Cycles & Frequency & LUTs & Registers & BRAMs\\ + Benchmark & Cycles & Frequency & LUTs & Registers & BRAMs & DSPs\\ \midrule - adpcm & XXX & XXX & XXX & XXX & XXX \\ - aes & 41958 & & & & \\ - gsm & 21994 & & & & \\ - mips & 18482 & 78.43 & 10617 & 7690 & 0 \\ + adpcm & XXX & 66.3 & 51626 & 42688 & 0 & 48 &\\ + aes & 41958 & 19.6 & 104017 & 94239 & 0 & 6 \\ + gsm & 21994 & 66.1 & 45764 & 33675 & 0 & 8\\ + mips & 18482 & 78.43 & 10617 & 7690 & 0 & 0\\ \bottomrule \end{tabular} \caption{CHstone programs synthesised in CoqUp} |