diff options
author | Peter Sewell <Peter.Sewell@cl.cam.ac.uk> | 2019-06-27 14:48:57 +0100 |
---|---|---|
committer | Peter Sewell <Peter.Sewell@cl.cam.ac.uk> | 2019-06-27 14:48:57 +0100 |
commit | 7cdb2b59dd9ca4b19ffe1033ed96fc88c19ede6a (patch) | |
tree | 6a064265151ad54a7e6efaa77b7403a965c87967 /README.md | |
parent | 18ffee5cc31fe0e633c874d7ed603e4df1ee4ed2 (diff) | |
download | sail-riscv-7cdb2b59dd9ca4b19ffe1033ed96fc88c19ede6a.zip sail-riscv-7cdb2b59dd9ca4b19ffe1033ed96fc88c19ede6a.tar.gz sail-riscv-7cdb2b59dd9ca4b19ffe1033ed96fc88c19ede6a.tar.bz2 |
pointer to RISC-V ISA Formal comparison
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -10,6 +10,10 @@ conventional OS with a terminal output device. The model specifies assembly language formats of the instructions, the corresponding encoders and decoders, and the instruction semantics. +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). + + Directory Structure ------------------- |