README.md

LibRISCV VP

Variant of riscv-vp which uses an ISS that has been generated from the LibRISCV ISA model.

For more information please refer to: https://github.com/agra-uni-bremen/formal-iss