riscv - 有没有开源的 tilelink 验证基础设施?
问题描述
我们正在构建一个 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 是一种研究工具,旨在允许交互式开发协议及其正确性证明,并为开发和试验自动证明技术提供平台。
解决方案
推荐阅读
- java - bean 实例化失败;嵌套异常是 java.lang.NoClassDefFoundError
- php - Google 云打印“需要 403 用户凭据”
- java - 如何停止在循环中休眠的线程
- php - 搜索城市内及其周边半径范围内的地点
- c++ - 在 Visual Studio 2017 中通过 CMake 使用 boost asio tcp
- python - 如何从 Python 3 的函数中更新全局变量?
- python - Docker - 将 Cassandra 容器与另一个容器链接
- php - 在 Woocommerce 3+ 上通过 PHP 更改产品可见性
- c++ - 接口“org.freedesktop.DBus.ObjectManager”上带有签名“”的方法“GetManagedObjects”不存在
- php - Google-calendar-events:无法使用 cron 或 function.php 获取日历事件