
Storage Allocation for Streaming-Based Register File 171
: Lifetime
9
0
1994014
Time
Address
: Read
: Write
4
Figure 5.9 Graphical representation of the BOAT domain in Example 5.7.
This BOAT domain can also be graphically represented. This is shown in
Figure 5.9.
Note that in this special case, where all constraints and ordering functions
are manifest and affine, and all constraints are convex, the resulting BOAT
domain is a linearly bounded lattice (LBL) [44].
Given the BOAT domain of an array variable per dependency, if we take
a union across all the production-consumption chains (or flow dependencies)
over all the iteration domains, we would get the memory