SVA: lastnost, da preveri število ack enako število Req

[seow]

Živjo,

Jaz sem trenutno poskuša preveriti razsodnik uporabo SVA.Ali lahko kdo tukaj me razsvetlil o tem, kako napisati trditev lastnost, da preveri, za vsak Req, ki je bil oblikovan ack?Najlepša hvala vnaprej.

Seow

 

[aji_vlsi]

seow wrote:

Živjo,Jaz sem trenutno poskuša preveriti razsodnik uporabo SVA.
Ali lahko kdo tukaj me razsvetlil o tem, kako napisati trditev lastnost, da preveri, za vsak Req, ki je bil oblikovan ack?
Najlepša hvala vnaprej.Seow