GitHub repository: Barkhausen-Institut/noc-koika
Primary language: Coq
Created: 2024-04-25T19:07:55Z
Description: An implementation of a Network-on-Chip using [Koika](https://github.com/mit-plv/koika)