시스템 verilog 어설 션 - $ rose

Question

나는 req가 다음에 수행 된 다음 4 사이클 후에 올라야한다고 주장하는 주장을 쓰고 싶다. 리셋시에 이미 완료되었습니다. 어떻게 할 수 있을까요? assert property {$rose(done) |-> ##4 req} 그러나 나는 그것이 작동하지 않는 이유를 모른다. 아무도 도와 줄 수 있니? 할 경우

Answer 1

높은 밖으로 시작하고 당신이 시도 떨어지지 후 다시 상승 할 때까지 기다려야 할 :

assert property (!done ##1 $rose(done) |-> ##4 req) 

을하지만 그건 그냥 REQ가 4주기 완료의 상승 에지 후 높은 것입니다 보장합니다. 그 일이 언제 일어날 지 아무 것도 말하지 않습니다 (2주기 전일 수도 있고, 끝나기도 전에 할 수있었습니다). 완료 후 4주기 상승을 엄격하게 적용하려면 다음을 시도하십시오.

assert property (!done ##1 $rose(done) |-> ##4 $rose(req))