diff options
author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2020-08-04 11:30:19 -0700 |
---|---|---|
committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2020-08-04 11:30:19 -0700 |
commit | 52637bbee821a2921a894acac8a09ecdfa072927 (patch) | |
tree | e25f9aad965021d0cda9c3c1652507dfc5b9ed5f /README.md | |
parent | 22140629433e338865f58f42423732ee108599a9 (diff) | |
download | sail-riscv-52637bbee821a2921a894acac8a09ecdfa072927.zip sail-riscv-52637bbee821a2921a894acac8a09ecdfa072927.tar.gz sail-riscv-52637bbee821a2921a894acac8a09ecdfa072927.tar.bz2 |
Add a line pointing to the instructions for latex inclusion in the prose specifications.
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -21,6 +21,7 @@ for inclusion in reference documentation. Drafts of the RISC-V and [privileged](https://github.com/rems-project/riscv-isa-manual/blob/sail/release/riscv-privileged-sail-draft.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). +The process to perform this inclusion is explained [here](https://github.com/rems-project/riscv-isa-manual/blob/sail/README.SAIL). This is one of [several formal models](https://github.com/riscv/ISA_Formal_Spec_Public_Review/blob/master/comparison_table.md) that were compared within the [RISC-V ISA Formal Spec Public Review](https://github.com/riscv/ISA_Formal_Spec_Public_Review). |