Not sure if this would help, but the Fast Models/RTSMs support a plug-in for recording model trace (format called Tarmac). this can include all the instruction executed, and all the changes to register values. Enabling the plug-in will hit simulation though.