US12306757B2 - Recording a Cache Coherency Protocol Trace for Use with a Separate Memory Value Trace