diff --git a/doc/introduction.rst b/doc/introduction.rst index 0aaa5fdc..36a652c6 100644 --- a/doc/introduction.rst +++ b/doc/introduction.rst @@ -21,6 +21,7 @@ It follows these specifications: * `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 External Debug Support, version 0.13.2 `_ +* `RISC-V Bit Manipulation Extension, version 0.92 (November 8, 2019) `_ Many features in the RISC-V specification are optional, and Ibex can be parametrized to enable or disable some of them.