• Approximate hardware designs
• Scala 2.13

• Cleanup of non-Chisel stuff
• Formal verification examples
• Arbiter example
• Instruction generator

This release contains an updated API for Functional Coverage, Constrained Random Verification, and Timed Assertions.
This also adds all of the new coverage constructs as well as experimental features such as Implicit Verification Plans for functional coverage.