diff --git a/doc/01_overview/compliance.rst b/doc/01_overview/compliance.rst index defcc320..ed4159ce 100644 --- a/doc/01_overview/compliance.rst +++ b/doc/01_overview/compliance.rst @@ -5,8 +5,8 @@ Ibex is a standards-compliant 32 bit RISC-V processor. It follows these specifications: * `RISC-V Instruction Set Manual, Volume I: User-Level ISA, document version 20190608-Base-Ratified (June 8, 2019) `_ -* `RISC-V Instruction Set Manual, Volume II: Privileged Architecture, document version 20190608-Base-Ratified (June 8, 2019) `_. - Ibex implements the Machine ISA version 1.11. +* `RISC-V Instruction Set Manual, Volume II: Privileged Architecture, document version 20211203 (December 4, 2021) `_. + Ibex implements the Machine ISA version 1.12. * `RISC-V External Debug Support, version 0.13.2 `_ * `RISC-V Bit-Manipulation Extension, version 1.0.0 `_ and `version 0.93 (draft from January 10, 2021) `_ * `PMP Enhancements for memory access and execution prevention on Machine mode (Smepmp) version 0.9.3 `_