riscv - 有没有开源的 tilelink 验证基础设施？

Question

我们正在构建一个 TileLink 协议转换器，它涉及设置一个生成和记录 TileLink 消息序列的验证环境。我们想知道是否有任何我们可以利用的现有 TileLink 验证抵押品？（很高兴回馈它）

到目前为止，我发现：

• https://github.com/chipsalliance/rocket-chip/blob/master/src/main/scala/tilelink/Monitor.scala - 似乎对监控流经网络的消息很有用。

• https://github.com/microsoft/ivy/tree/master/examples/tilelink/unit_test - 用于微软的IVy项目，总结：

  IVy 是一种研究工具，旨在允许交互式开发协议及其正确性证明，并为开发和试验自动证明技术提供平台。