diff options
author | pes20 <Peter.Sewell@cl.cam.ac.uk> | 2019-10-13 11:03:34 +0100 |
---|---|---|
committer | pes20 <Peter.Sewell@cl.cam.ac.uk> | 2019-10-13 11:03:34 +0100 |
commit | 24fb6b4f43fb017c9855e5b9c9ccd241c09c5e86 (patch) | |
tree | 80b79543db52f1a2cfa6525fe1eb482a704b366b | |
parent | ba18f0f59cee8e3c32cfaa980c0d109399284844 (diff) | |
download | sail-riscv-24fb6b4f43fb017c9855e5b9c9ccd241c09c5e86.zip sail-riscv-24fb6b4f43fb017c9855e5b9c9ccd241c09c5e86.tar.gz sail-riscv-24fb6b4f43fb017c9855e5b9c9ccd241c09c5e86.tar.bz2 |
paste in pointers to the Sail-enabled versions of the RISC-V spec
-rw-r--r-- | README.md | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -17,6 +17,13 @@ A [reading guide](doc/ReadingGuide.md) to the model is provided in the extend](doc/ExtendingGuide.md) the model. +Latex definitions can be generated from the model that are suitable +for inclusion in reference documentation. Drafts of the RISC-V +[unprivileged](https://github.com/rems-project/riscv-isa-manual/blob/sail/release/riscv-spec-sail-draft-alpha2.pdf) +and [privileged](https://github.com/rems-project/riscv-isa-manual/blob/sail/release/riscv-privileged-sail-draft-alpha2.pdf) +specifications that include the Sail formal definitions are available +in the sail branch of this [risc-v-isa-manual repository](https://github.com/rems-project/riscv-isa-manual/tree/sail). + This is one of [several formal models](https://github.com/riscv/ISA_Formal_Spec_Public_Review/blob/master/comparison_table.md) compared within the [RISC-V ISA Formal Spec Public Review](https://github.com/riscv/ISA_Formal_Spec_Public_Review). |