SVA: la proprietà per verificare il numero di ack uguale numero di req

[Seow]

Salve,

Attualmente sto cercando di verificare un arbitro con SVA.Nessuno qui può illuminarmi su come scrivere una proprietà affermazione per verificare che per ogni req fatto, un ACK è stato generato?Grazie mille in anticipo.

Seow

 

[aji_vlsi]

Seow ha scritto:

Salve,Attualmente sto cercando di verificare un arbitro con SVA.
Nessuno qui può illuminarmi su come scrivere una proprietà affermazione per verificare che per ogni req fatto, un ACK è stato generato?
Grazie mille in anticipo.Seow