Behauptung, um Signalübergang an der Uhr von Uhr zu überprüfen

Question

Ich möchte eine Behauptung machen, die für den Übergang eines Signals nur auf der positiven Kante des Taktes prüft. Wenn sich das Signal anders als die positive Flanke ändert, sollte dies zu einem Fehler führen.

Answer 1

Versuchen Sie diese:

A1: behauptet Eigentum (@ (Uhr) Uhr == 1'b1 | => Signal == $ Vergangenheit (Signal));