The batteries-included testing and formal verification library for Chisel-based RTL designs. - View it on GitHub