diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-06-12 11:28:15 -0700 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-06-12 11:28:15 -0700 |
commit | b93723f5d4391333b6ed12cea8c3f49871976927 (patch) | |
tree | ec540a80d891c8afb10f2be62baefb1823f77981 /chapters/background.tex | |
parent | d91b97dfed94a38147894621404b9df075460084 (diff) | |
download | lsr22_fvhls-b93723f5d4391333b6ed12cea8c3f49871976927.tar.gz lsr22_fvhls-b93723f5d4391333b6ed12cea8c3f49871976927.zip |
Changes
Diffstat (limited to 'chapters/background.tex')
-rw-r--r-- | chapters/background.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/chapters/background.tex b/chapters/background.tex index 7f8539c..d4ec91f 100644 --- a/chapters/background.tex +++ b/chapters/background.tex @@ -303,7 +303,7 @@ assuming that $\sigma$ is dominated by $d$ ($p \le_{d} d$), then the following e \stopformula This is an important lemma as it essentially allows one to know the value of a register as long as -one knows that it's assignment dominates the current node and one knows what expressions it was +one knows that its assignment dominates the current node and one knows what expressions it was assigned. \subsection{HLS Formalised in Isabelle} |