摘要 |
Bei einem Ausführungsbeispiel richtet sich die Erfindung auf ein Verfahren zum Verifizieren von Bedingungen, die während einer Simulation eines Hardwareentwurfs auftreten. Das Verfahren weist das Protokollieren jedes Auftretens von zumindest einer spezifizierten Bedingung in einem ersten Protokoll; das Protokollieren von Signalen, die an einem Beobachtbarkeitstor in einem zweiten Protokoll beobachtet werden; und das Vergleichen des ersten und des zweiten Protokolls auf, um zu bestimmen, ob für jedes Auftreten der zumindest einen spezifizierten Bedingung, der in dem ersten Protokoll protokolliert ist, ein entsprechender Eintrag, der ein Signal identifiziert, von dem erwartet wird, daß es ansprechend auf das Auftreten der zumindest einen spezifizierten Bedingung beobachtet wird, in dem zweiten Protokoll protokolliert ist.
|