diff options
| -rw-r--r-- | algorithm.tex | 2 | ||||
| -rw-r--r--[-rwxr-xr-x] | sync.sh | 0 |
2 files changed, 1 insertions, 1 deletions
diff --git a/algorithm.tex b/algorithm.tex index a4c7de9..6ae3181 100644 --- a/algorithm.tex +++ b/algorithm.tex @@ -45,7 +45,7 @@ The .NET framework has been used as a basis for other HLS tools, such as Kiwi~\c \node[language] at (6.7,-1.5) (verilog) {Verilog}; \node at (0,1) {\bf\compcert{}}; \node at (0,-1.5) {\bf\vericert{}}; - \node[align=center] at (3.3,-2.4) {\footnotesize Memory\\[-0.5em]\footnotesize Inferrence}; + \node[align=center] at (3.3,-2.4) {\footnotesize Memory\\[-0.5em]\footnotesize Inference}; \draw[->,thick] (clight) -- (conta); \draw[->,thick] (conta) -- (cminor); \draw[->,thick] (cminor) -- (rtl); |