The batteries-included testing and formal verification library for Chisel-based RTL designs. - GitHub - ucb-bar/chiseltest: The batteries-included testing and formal verification library for Chise...