SVA-Eigenschaft für eine einfache Wellenform

Question

Wellenform: -

Ich habe eine Eigenschaft wie:

property p1; 
    a |=> (b == 1)[=2] ##1 (c == 1)[=2] 
endproperty 

Aber diese Eigenschaft funktioniert nicht gut für diese Wellenform, es isn arbeite nicht für 3 oder mehr "b's" vor den "c's" und es funktioniert nicht für "c's" nach dem ersten "b".

Ich brauche eine Eigenschaft, die nur nach dem "a" -Signal nur 2 "bs" und nach nur "2 cs" mit einer beliebigen Anzahl von Lücken zwischen ihnen passieren kann.

danke für Hilfe.

Answer 1

Sie geben nicht an, dass b nicht während der Impulse auf c 1 sein soll, noch geben Sie an, dass c während der Impulse auf b nicht 1 sein sollte.

Also, wie wäre es so etwas wie dieses:

property p1; 
    a |=> ((c == 0) throughout (b == 1)[->2]) ##1 ((b == 0) throughout (c == 1)[->2]); 
endproperty 

Der [->N] Operator ist die genaue nicht-konsekutiven Wiederholungsoperator oder goto Wiederholungsoperator. Bei der Wiederholung muss der Ausdruck im letzten Zyklus des Matches stehen; mit anderen Worten, die Übereinstimmung wird erreicht, sobald die spezifizierte Anzahl von Wiederholungen aufgetreten ist.