diff --git a/README.md b/README.md index 8316610..95e0acb 100644 --- a/README.md +++ b/README.md @@ -20,7 +20,7 @@ A port of [riscv-formal](https://github.com/SymbioticEDA/riscv-formal) to nMigen | Directory | Description | | --- | --- | -| `nmigen | [nMigen](https://github.com/m-labs/nmigen) | +| `nmigen` | [nMigen](https://github.com/m-labs/nmigen) | | `rvfi` | RISC-V Formal Verification Framework (nMigen port) | | `rvfi/insns` | Supported RISC-V instructions and ISAs | | `rvfi/cores` | Example cores for verification with riscv-formal-nmigen |