| 摘要 |
A design analyzing device includes a circuit specification description analyzing section configured to create structure data about an assertion description, a pass pattern creating section configured to create data about a plurality of pass patterns for which the assertion description passes from the structure data, a matching waveform calculating section configured to create waveform data for each signal in a circuit defined by the assertion description and correlation data that indicates a correlation between the waveform of each signal and a partial expression in the assertion description based on data of each of the plurality of pass patterns, and a display data outputting section configured to output display data about a diagram showing the correlation between each partial expression and the waveform of each signal for each pass pattern. |
