Is there any open source tilelink verification infrastructure?

Asked Jul 19 '19 at 18:45

Active Jul 19 '19 at 18:59

Viewed 229 times

We are building a TileLink protocol convertor which involves setting up a verification environment that generates and records sequences of TileLink messages. We're wondering if there's any existing TileLink verification collateral we can leverage? (Happy to contribute back to it)

So far I've found:

https://github.com/chipsalliance/rocket-chip/blob/master/src/main/scala/tilelink/Monitor.scala - seems useful for monitoring messages flowing through the network.
https://github.com/microsoft/ivy/tree/master/examples/tilelink/unit_test - used for Microsoft's IVy project, summary:

IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques.

edited Jul 19 '19 at 18:59

asked Jul 19 '19 at 18:45

lenny

1

Questions asking us to recommend or find a book, tool, software library, tutorial or other off-site resource are off-topic for Stack Overflow as they tend to attract opinionated answers and spam. Instead, describe the problem and what has been done so far to solve it. – S.S. Anne Jul 19 '19 at 19:01

Is there any open source tilelink verification infrastructure?

0 Answers0