ucb-bar / chiseltest 6.0.0

GitHub

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

chisel
formal
testing
verification

Scala versions: 2.13 2.12 2.11

Latest version

[![chiseltest Scala version support](https://index.scala-lang.org/ucb-bar/chiseltest/chiseltest/latest.svg)](https://index.scala-lang.org/ucb-bar/chiseltest/chiseltest)

JVM badge

[![chiseltest Scala version support](https://index.scala-lang.org/ucb-bar/chiseltest/chiseltest/latest-by-scala-version.svg?platform=jvm)](https://index.scala-lang.org/ucb-bar/chiseltest/chiseltest)