diff options
Diffstat (limited to 'limitations.tex')
-rw-r--r-- | limitations.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/limitations.tex b/limitations.tex index 9ed65ec..141ee91 100644 --- a/limitations.tex +++ b/limitations.tex @@ -4,7 +4,7 @@ There are various limitations in \vericert{} compared to other HLS tools due to %\NR{You have very different types of limitations. I wonder if grouped them into software and hardware limitations respectively might simplify this section. Just a suggestion.} -\subsection{Limitations to the generated hardware} +\subsection{Limitations to the Generated Hardware} %This section describes the current limitations and possible improvements that could be made to the generated hardware. |