diff options
-rw-r--r-- | algorithm.tex | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/algorithm.tex b/algorithm.tex index 78b8a0a..fbf8df1 100644 --- a/algorithm.tex +++ b/algorithm.tex @@ -43,8 +43,8 @@ The .NET framework has been used as a basis for other HLS tools, such as Kiwi~\c \node[continuation] at (7.3,0) (contb) {$\cdots$}; \node[language] at (4.7,-2) (dfgstmd) {HTL}; \node[language] at (6.7,-2) (verilog) {Verilog}; - \node at (0,1) {\compcert{}}; - \node at (0,-2) {\vericert{}}; + \node at (0,1) {\bf\compcert{}}; + \node at (0,-2) {\bf\vericert{}}; \draw[->] (clight) -- (conta); \draw[->] (conta) -- (cminor); \draw[->] (cminor) -- (rtl); @@ -54,7 +54,7 @@ The .NET framework has been used as a basis for other HLS tools, such as Kiwi~\c \draw[->] (rtl) -- (dfgstmd); \draw[->] (dfgstmd) -- (verilog); \end{tikzpicture}} - \caption{Verilog back end to \compcert{}, branching off at the three address code (3AC), at which point the three address code is transformed into a state machine. Finally, it is transformed to a hardware description of the state machine in Verilog.}% + \caption{\vericert{} as a Verilog back end to \compcert{}}% \label{fig:rtlbranch} \end{figure} |