Any help is appreciated. I am trying to create coverage model for something analogous to a Write transaction to an address with a value. Coverage hit if the same transaction to the same address with the same value happens. Does something like this make sense? (Op => Op && Addr => Addr && Val => Val). Or this {Op,Addr,Val} => {Op,Addr,Val}. Thanks in advance.
A lot depends on the space of addresses and values that need to be covered. Or will coverage be fully met if just one occurrence of a repeated transaction?
In any case, you will probably have to do this by creating an associative array that scoreboards the op,addr, and value and then if AA[op][addr][val].exists(), you have coverage point.