In reply to Guy S:
UVM is just SystemVerilog code that someone else wrote for you. I don’t see how that relates to your question.
A C reference module usually makes trade-offs between pin-level accuracy and performance. Without knowing how the interrupt affects the C reference model, it is difficult to know how to help you further.