From b063d29c180e6f0ec0597a0bcbac0ce40f092df0 Mon Sep 17 00:00:00 2001 From: John Wickerson Date: Thu, 8 Apr 2021 12:58:20 +0000 Subject: Update on Overleaf. --- algorithm.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'algorithm.tex') 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); -- cgit