diff options
author | John Wickerson <j.wickerson@imperial.ac.uk> | 2021-04-16 09:25:45 +0000 |
---|---|---|
committer | overleaf <overleaf@localhost> | 2021-04-16 09:26:20 +0000 |
commit | 2356ba391f76e0af75a6bb2570826b3ea00413de (patch) | |
tree | a512d91d3fc69402680681e5c5a4069374695b40 /algorithm.tex | |
parent | 1a63ce7aaf1f68437c67ba817e1ad8cdbf76d0ea (diff) | |
download | oopsla21_fvhls-2356ba391f76e0af75a6bb2570826b3ea00413de.tar.gz oopsla21_fvhls-2356ba391f76e0af75a6bb2570826b3ea00413de.zip |
Update on Overleaf.
Diffstat (limited to 'algorithm.tex')
-rw-r--r-- | algorithm.tex | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/algorithm.tex b/algorithm.tex index c81cbfa..1302d64 100644 --- a/algorithm.tex +++ b/algorithm.tex @@ -29,7 +29,8 @@ The .NET framework has been used as a basis for other HLS tools, such as Kiwi~\c \begin{figure} \centering - \resizebox{0.85\textwidth}{!}{ + % JW: resizebox is associated with puppies dying + %\resizebox{0.85\textwidth}{!}{ \begin{tikzpicture} [language/.style={fill=white,rounded corners=3pt,minimum height=7mm}, continuation/.style={}] @@ -56,7 +57,7 @@ The .NET framework has been used as a basis for other HLS tools, such as Kiwi~\c \draw[->,thick] (rtl) -- (htl); \draw[->,thick] (htl) -- (verilog); \draw[->,thick] (htl.west) to [out=180,in=150] (4,-2.2) to [out=330,in=270] (htl.south); - \end{tikzpicture}} + \end{tikzpicture}%} \caption{\vericert{} as a Verilog back end to \compcert{}}% \label{fig:rtlbranch} \end{figure} |