This report summarizes the contents of a given diagnostic study. Descending through all design levels in the current hierarchical expansion, this report counts the number of various design elements (objects, tests, functions, etc.) across these designs. In addition to providing measures of the size and extent of a system design, this report provides numerous sub-reports that can be accessed by clicking on special hyper-linked entries in the report. The sub-reports listing design instances, unlinked or partially linked I/O flags, unused functions, and unused failure modes are particularly useful when verifying the correctness of a hierarchical design.