M-Labs/riscv-formal-nmigen
6
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fix broken markdown in README.md

Browse Source
This commit is contained in:
Donald Sebastian Leung 2020-08-19 14:58:00 +08:00
parent c073411bd2
commit f7ddbf8cd8
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@ -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 |