La comprobación que se realiza afecta únicamente a un ciclo de reloj.
assert property (@(negedge clk) cond) Si la “cond” no se cumple la aserción falla
Ejemplo:
|
1 |
assert property (@(negedge clk) a!=3) |
La variable “a” nunca debería ser igual a 3 .En cada flanco de reloj se comprueba . Si alguna vez a lo largo de la simulación “a“ pasa a valer 3, la aserción fallará.