1. A computer program product embodied on a non-transitory computer readable medium, comprising: code for identifying a hardware model database which stores a graph-based common representation of a hardware design, wherein the graph-based representation includes hardware module nodes each representative of a unique module of the hardware design and associated with one or more instances of the unique module; code for identifying a signal dump resulting from a simulation of a logic code model of the hardware design; code for identifying each instance of each unique module using the hardware model database, and for each assertion condition included therein, determining a corresponding value for the assertion condition from the signal dump; and code for conditionally displaying, by a debugger application, a construct of the hardware design corresponding to each instance of each unique module, based on the determined values of the corresponding assertion conditions included in the instance of the unique module.