CHIPS Verification Framework

The CHIPS Verification Framework is a collection of tools and libraries for (formal) hardware design verification. The framework encompasses two subprojects:

CHIPS: Chisel Hardware Property Specification Language

The foundation of the CHIPS-VF is a domain-specific language (DSL) embedded in Scala that allows the specification of lightweight verification properties on different levels of abstraction using the assertion-based verification paradigm.

Extended CIRCT Hardware Compiler

CIRCT is a hardware compiler based on the LLVM/MLIR compiler framework. The CIRCT hardware compiler is extended to support high-level CHIPS assertions, which are compiled into System Verilog Assertions (SVAs) during hardware design elaboration.