1. A method of characterizing a hardware design, comprising: determining a relationship between a plurality of attributes of the hardware design; performing an analysis for an existence or a violation of each of the plurality of attributes; and reporting the results of the analysis based on the relationship.