Figure 5.48 Partitioning Logic Using FMAP and HMAP Symbols