diff options
author | John Wickerson <j.wickerson@imperial.ac.uk> | 2020-12-15 11:17:40 +0000 |
---|---|---|
committer | overleaf <overleaf@localhost> | 2021-01-01 20:05:00 +0000 |
commit | 2f50894d316ee27a7bf10b61358bbe2e6a1afbb0 (patch) | |
tree | a76cbcd1654d3e59818e3cef20b6029f0532d404 /algorithm.tex | |
parent | 0c3190ee18d35da1371b37cfb8128cce4f71fd97 (diff) | |
download | oopsla21_fvhls-2f50894d316ee27a7bf10b61358bbe2e6a1afbb0.tar.gz oopsla21_fvhls-2f50894d316ee27a7bf10b61358bbe2e6a1afbb0.zip |
Update on Overleaf.
Diffstat (limited to 'algorithm.tex')
-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} |