3. The method recited in claim 2 , wherein the elaboration includes a reference for each module occurrence to a corresponding module description and the elaboration references modules from at least two hierarchical levels.
3. The method recited in claim 2 , wherein the elaboration includes a reference for each module occurrence to a corresponding module description and the elaboration references modules from at least two hierarchical levels. 4. The method recited in claim 3 , wherein the analyzing the elaboration includes: identifying a first set of compilation parameter values for a first occurrence of a first module in the first abstract description; and identifying a second set of compilation parameter values for a second occurrence of the first module in the first abstract description.