How does hammer model divergence+synchronization with the DUT

[jerryz123]

A lock-step cosimulation framework would typically need to support allowable architectural divergences between the functional model and the DUT. How is that intended to work with Hammer's interface?

Say, for interrupts, how are DUT and simulator interrupts intended to be synchronized?

[jerinjoy]

Yes this is something that we want to add. We haven't worked out the details yet.

[jerryz123]

Great! I'm looking forward to it.
I'm also happy to help with anything, either in Hammer, Spike, or testing the cosim with open RTL.