diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-09-09 21:00:41 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-09-09 21:00:41 +0100 |
| commit | 6f7b7f66f0b420a318aa5c3287cbd7c8250d3dd1 (patch) | |
| tree | 349be76159a425d9bad14ed5d18028c1f72c44c8 /limitations.tex | |
| parent | f4d791dbd4fdb4985c017c58c45ca583626a484a (diff) | |
| download | oopsla21_fvhls-6f7b7f66f0b420a318aa5c3287cbd7c8250d3dd1.tar.gz oopsla21_fvhls-6f7b7f66f0b420a318aa5c3287cbd7c8250d3dd1.zip | |
Fix some more titles
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 141ee91..a470028 100644 --- a/limitations.tex +++ b/limitations.tex @@ -32,7 +32,7 @@ The introduction of pipelined operators to \vericert{}, especially for division, %JW I've chopped the following sentence because it felt like it was going into too much detail. %However, 3ACPar would have to be modified to also describe such instructions so that these can be placed optimally using the external scheduling algorithm. -\subsection{Limitations on the software input} +\subsection{Limitations on the Software Input} %This section describes the limitations and possible improvements to the software input accepted by \vericert{}. |