ucb-bar/chiseltest

The batteries-included testing and formal verification library for Chisel-based RTL designs.