diff options
| author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-02-11 12:07:16 -0800 |
|---|---|---|
| committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-02-11 12:38:03 -0800 |
| commit | 04431f38e310ff979aee6bd9b10966ffb11b5045 (patch) | |
| tree | 6ca6245da59ead5bb8bb09b49c81d1011dfa6577 /doc | |
| parent | 51403b862956f13a7a4fbbdd3adb72ee3518db12 (diff) | |
| download | sail-riscv-04431f38e310ff979aee6bd9b10966ffb11b5045.zip sail-riscv-04431f38e310ff979aee6bd9b10966ffb11b5045.tar.gz sail-riscv-04431f38e310ff979aee6bd9b10966ffb11b5045.tar.bz2 | |
More refactoring for RV32
- split out memory access definitions in prelude that depend on xlen
- make riscv_xlen now part of the prelude set, so that riscv_duopod can use the definition
- update xlen use in riscv_duopod so that it can now support rv32
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ReadingGuide.md | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/ReadingGuide.md b/doc/ReadingGuide.md index f1eb1ab..1946a9e 100644 --- a/doc/ReadingGuide.md +++ b/doc/ReadingGuide.md @@ -9,9 +9,12 @@ The model contains the following Sail modules in the `model` directory: - `prelude.sail` contains useful Sail library functions. This file should be referred to as needed. The lowest level memory access - primitives are defined in this file, and are implemented + primitives are defined in `prelude_mem.sail`, and are implemented by the various Sail backends. +- `riscv_xlen.sail` contains the `XLEN` definition for the model. It + can be set for either RV32 or RV64. + - `riscv_types.sail` contains some basic RISC-V definitions. This file should be read first, since it provides basic definitions that are used throughout the specification, such as privilege |