QuickCheckVEngine

QCVEngine is a very basic QuickCheck-based random instruction generator for RISC-V (currently supports RV32I and CHERI RISC-V extensions). The main feature of the generator is a small library that makes it easy to define instruction encoders and decoders. Why not have a look at the RV32I generator?

Getting started

You should be able to build QCVEngine using cabal. Simply run

$ cabal configure
$ cabal build
$ cabal install

and the QCVEngine binary should be in your ~/.cabal/bin.