Assertion type question

SystemVerilog
1

How To write assertion for
When AWVALID is HIGH and AWCACHE[1] is LOW then AWCACHE[3:2] are also LOW.

2

In reply to Harsha j:

assert property (@(posdege ACLK) AWVALID && !AWCACHE[1] |-> AWCACHE[3:2] == '0);
3

In reply to Harsha j:

Thanks dave