我们正在构建一个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-用于Microsoft的IVy项目，摘要：
IVy是一种研究工具，旨在允许对协议及其正确性证明进行交互式开发，并为开发和试验自动证明技术提供平台。