diff options
Diffstat (limited to 'algorithm.tex')
| -rw-r--r-- | algorithm.tex | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/algorithm.tex b/algorithm.tex index 6811137..6035581 100644 --- a/algorithm.tex +++ b/algorithm.tex @@ -33,6 +33,8 @@ Existing HLS compilers usually use LLVM IR as an intermediate representation whe %%TODO: Maybe add why LTL and the other smaller languages are not that well suited +To describe the translation, we can start with a simple example of how to translate a simple matrix multiplication example. + \subsection{CompCert RTL} All CompCert intermediate language follow the similar structure below: |