1. A method for generating final result checking for a test case, comprising: executing a test case by a coherent memory system having a processor core; generating an event log for the processor core in response to executing the test case; filtering the event log to extract instruction information; generating a checker from the instruction information; annotating the test case with the checker for performing expected data checking for physical addresses modified by the processor core; and executing the annotated test case by the coherent memory system, including performing the expected data checking for the physical addresses modified by the processor core.