diff options
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} |