I’m trying to get familiar with RAL and am not quite understanding how prediction of read only registers work.
For example, say I have a DUT with a set of registers where one of these registers is a GO bit and another register is a result register. After setting GO the DUT will perform some set of calculations that that take N cycles. Once these N cycles are up the value produced by the set of operations is stored in the result register to be read out at later time.
In order to verify this DUT I would create a predictor that “mirrors” the calculation that the DUT does.
I was wondering if it makes sense to put this predicted value into the desired value of the RAL so that when a read transaction occurs it compares the DUT value to the value stored in the RAL
Does this make sense? or is this a misunderstanding of how to use RAL for predictions.