From c6b9bb9a04471156956732d0fc320b567605e0f0 Mon Sep 17 00:00:00 2001 From: Donald Sebastian Leung Date: Fri, 21 Aug 2020 11:46:39 +0800 Subject: [PATCH] Update README.md --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 46b072d..5fd9232 100644 --- a/README.md +++ b/README.md @@ -4,14 +4,14 @@ A port of [riscv-formal](https://github.com/SymbioticEDA/riscv-formal) to nMigen ## Breakdown -| Directory | Description | +| File/Directory | Description | | --- | --- | | `shell.nix` | [nix-shell](https://nixos.wiki/wiki/Development_environment_with_nix-shell) configuration file | | `rvfi` | RISC-V Formal Verification Framework (nMigen port) | | `rvfi/insns` | Supported RISC-V instructions and ISAs | | `rvfi/checks` | Checks for RISC-V compliant cores | | `rvfi/cores` | Cores currently tested against this port of riscv-formal | -| `rvfi/cores/minerva` | Tests for the Minerva core | +| `rvfi/cores/minerva/verify.py` | Verification tasks for the Minerva core | ## Running the Verification