2 repositories on SrcLog
A Chisel RTL generator for network-on-chip interconnects
The batteries-included testing and formal verification library for Chisel-based RTL designs.