GitHub repository: promach/noc
Primary language: Coq
Created: 2019-09-30T16:42:18Z
Description: A simple spidergon network-on-chip with wormhole switching feature