Patent ID: 8527936

Claim:
A computer program product that includes a non-transitory computer readable storage medium, the non-transitory computer readable storage medium comprising a plurality of computer instructions which, when executed by at least one processor, cause the processor to execute a method for displaying coverage information for verification, the method comprising: using at least one process that is at least to perform a process, the process comprising: generating a treemap to display coverage information for a verification activity for a hierarchical electronic circuit design having a plurality of nodes, wherein generating the treemap to display the coverage information comprises: generating the treemap based at least in part upon whether the tree map includes a complete hierarchy or a single hierarchical level by using at least a priority that is determined between preservation of an order of the plurality of nodes and improvement of an aspect for at least a part of the treemap, in which the treemap comprises a display portion having a size, the size of the display portion indicates a respective physical size of a corresponding portion of the hierarchical electronic circuit design, and the display portion corresponds to a node on a tree structure having nodes and links of the hierarchical electronic circuit design; and verifying or designing the hierarchical electronic circuit design based at least in part upon the treemap.