diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-05-01 15:12:28 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-05-01 15:12:28 +0100 |
commit | 80e71ffbbd49f6ad24abc8e4569b5e4e13b95009 (patch) | |
tree | bf66d6aa31e7d8a5387ebf52910a84c420ff95d0 | |
parent | 59aeacdb60feadeb4cf6a8b238df044270002a07 (diff) | |
download | lsr22_fvhls-80e71ffbbd49f6ad24abc8e4569b5e4e13b95009.tar.gz lsr22_fvhls-80e71ffbbd49f6ad24abc8e4569b5e4e13b95009.zip |
Add index
-rw-r--r-- | chapters/scheduling.tex | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/chapters/scheduling.tex b/chapters/scheduling.tex index 8457a1e..2463099 100644 --- a/chapters/scheduling.tex +++ b/chapters/scheduling.tex @@ -181,9 +181,10 @@ schedule that is shown in Figure~\goto{{[}fig:op_chain_d{]}}[fig:op_chain_d]. \section[abstr_interp]{Abstract Interpretation of Hyperblocks} -\index{abstract interpretation}The correctness of the scheduling algorithm is checked by comparing -the symbolic expressions of each register before and after scheduling. This section describes how -these symbolic expressions are constructed for each hyperblock. +\index{symbolic execution}\seeindex{abstract interpretation}{symbolic execution}The correctness of +the scheduling algorithm is checked by comparing the symbolic expressions of each register before +and after scheduling. This section describes how these symbolic expressions are constructed for each +hyperblock. \subsection[abstr_language]{Construction of Abstract Language} |