diff options
| author | John Wickerson <j.wickerson@imperial.ac.uk> | 2021-08-05 20:23:43 +0000 |
|---|---|---|
| committer | node <node@git-bridge-prod-0> | 2021-08-08 14:23:27 +0000 |
| commit | 8f7485fa0209cc5857c64c700feee56640d73893 (patch) | |
| tree | 9d894945c8f6d78033108dd5bc7a62baec3fb574 /algorithm.tex | |
| parent | cae2909811563106d5469c2825f7e001be2b1325 (diff) | |
| download | oopsla21_fvhls-8f7485fa0209cc5857c64c700feee56640d73893.tar.gz oopsla21_fvhls-8f7485fa0209cc5857c64c700feee56640d73893.zip | |
Update on Overleaf.
Diffstat (limited to 'algorithm.tex')
| -rw-r--r-- | algorithm.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/algorithm.tex b/algorithm.tex index 34358cf..728ea86 100644 --- a/algorithm.tex +++ b/algorithm.tex @@ -68,7 +68,7 @@ The .NET framework has been used as a basis for other HLS tools, such as Kiwi~\c \end{figure} \paragraph{Architecture of \vericert{}} -The main work flow of \vericert{} is given in Figure~\ref{fig:rtlbranch}, which shows those parts of the translation that are performed in \compcert{}, and those that have been added. +The main work flow of \vericert{} is given in Figure~\ref{fig:rtlbranch}, which shows those parts of the translation that are performed in \compcert{}, and those that have been added.\NR{What is the extra edge labelled RAM insertion in Fig.~\ref{fig:rtlbranch}? You might want to add a sentence about it in this section.} \JW{good point. another option would be to remove that edge if we dont want to talk about RAM inference right now.} \def\numcompcertlanguages{ten} |