From d749b297cf229713a1c49c7fa24369a8aebcdac2 Mon Sep 17 00:00:00 2001 From: Donald Sebastian Leung Date: Mon, 17 Aug 2020 12:05:39 +0800 Subject: [PATCH] Update README.md --- README.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index b712f4c..603f60e 100644 --- a/README.md +++ b/README.md @@ -8,12 +8,12 @@ A port of [riscv-formal](https://github.com/SymbioticEDA/riscv-formal) to nMigen ## Breakdown -_This section is currently a work in progress._ - | Directory | Description | | --- | --- | -| `insns` | Supported RISC-V instructions and ISAs | -| `cores` | Example cores to be integrated with riscv-formal-nmigen (WIP) | +| `rvfi` | RISC-V Formal Verification Framework (nMigen port) | +| `rvfi/insns` | Supported RISC-V instructions and ISAs | +| `rvfi/cores` | Example cores to be integrated with riscv-formal-nmigen (WIP) | +| `rvfi/cores/minerva` | The [Minerva](https://github.com/lambdaconcept/minerva) core | ## Build