SVA 재산권

Question

파형 : -

내가 같은 속성을했다 :

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

그러나이 속성이 파형을 위해 잘 작동하지 않습니다, 그것은 외설 "c"앞에 3 개 이상의 "b 's"를 위해 일하고 있지 않으며 첫 번째 "b"다음에 "c 's"에 대해 작동하지 않습니다.

"a"신호 바로 다음에 "b"신호를 전달할 수 있고 그 사이에 간격이있는 "2c 's"신호 뒤에 전달할 수있는 속성이 필요합니다.

도움 주셔서 감사합니다.

Answer 1

c의 펄스 중에는 b가 없어야한다고 지정하지 않고 b의 펄스 중에 c가 1이 아니도록 지정하지 마십시오.

그래서,이 같은 대한 방법 :

는

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

[->N] 운영자는 정확한 비 연속적인 반복 연산자 또는 고토 반복 연산자입니다. 고토 반복으로 표현식은 경기의 마지막주기에 있어야합니다. 다시 말해서 지정된 반복 횟수가 발생하자 마자 일치가 달성됩니다.