如何跟踪流水线处理器内的数据流？

Question

假设我们有一个规范的有序5级处理器，因此会有4组流水线寄存器，分别是IF/ID、ID/EX、EX/ME、ME/WB。我想创建一个模板如下：

1. 说明（类型）
2. 第一阶段
3. 第 i 阶段的第 i 个观察值（可能是流水线寄存器中的值）
4. 阶段 j (j > i)
5. j 阶段的观察 j（可能是流水线寄存器中的值）
6. （必要时更多）

我想确认对于特定指令（类型），阶段 i 中的观察 i 始终与阶段 j 中的观察 j 相同，因此，我们可以说这两个寄存器之间始终存在数据泄漏。

这样的templace当然会有无数个实例，但也有很多不满足我们的条件。问题是我们可以用什么方法来消除所有那些不令人满意的，而保留令人满意的，这样我们就会在这样一个流水线处理器中有一组数据泄漏的“不变量”？我正在考虑哈希，如果它有效？

非常感谢您的提前帮助。

以上是我要建立的一个定义