openhwgroup · davideschiavone · Apr 17, 2023 · Mar 2, 2023 · Mar 2, 2023 · Mar 13, 2023
diff --git a/README.md b/README.md
@@ -3,14 +3,14 @@
 # OpenHW Group CORE-V CV32E40P RISC-V IP
 
 CV32E40P is a small and efficient, 32-bit, in-order RISC-V core with a 4-stage pipeline that implements
-the RV32IM\[F\]C instruction set architecture, and the Xpulp custom extensions for achieving
+the RV32IM\[F|Zfinx\]C instruction set architecture, and the PULP custom extensions for achieving
 higher code density, performance, and energy efficiency \[[1](https://doi.org/10.1109/TVLSI.2017.2654506)\], \[[2](https://doi.org/10.1109/PATMOS.2017.8106976)\].
 It started its life as a fork of the OR10N CPU core that is based on the OpenRISC ISA.
 Then, under the name of RI5CY, it became a RISC-V core (2016), and it has been maintained
 by the [PULP platform](https://www.pulp-platform.org/) team until February 2020,
 when it has been contributed to [OpenHW Group](https://www.openhwgroup.org/).
 
-<p align="center"><img src="docs/images/blockdiagram.svg" width="650"></p>
+<p align="center"><img src="docs/images/CV32E40P_Block_Diagram.svg" width="750"></p>
 
 ## Documentation
 
@@ -33,7 +33,7 @@ The Makefiles supported in the **core-v-verif** project automatically clone the
 A changelog is generated automatically in the documentation from the individual pull requests.
 In order to enable automatic changelog generation within the CV32E40P documentation, the committer is required to label each pull request
 that touches any file in 'rtl' (or any of its subdirectories) with *Component:RTL* and label each pull request that touches any file in
-'docs' (or any of its subdirectories) with *Component:Doc*. Pull requests taht are not labeled or labeled with *ignore-for-release* are
+'docs' (or any of its subdirectories) with *Component:Doc*. Pull requests that are not labeled or labeled with *ignore-for-release* are
 ignored for the changelog generation.
 
 Only the person who actually performs the merge can add these labels (you need committer rights). The changelog flow only works if at most

diff --git a/docs/CV32E40P_User_Manual.pdf b/docs/CV32E40P_User_Manual.pdf
diff --git a/docs/html/.buildinfo b/docs/html/.buildinfo
@@ -0,0 +1,4 @@
+# Sphinx build info version 1
+# This file hashes the configuration used when building these files. When it is not found, a full rebuild will be done.
+config: 0b9656d7b13ba9b2c1e11f9c4adc455a
+tags: 645f666f9bcd5a90fca523b33c5a78b7
diff --git a/docs/html/_images/CV32E40P_Block_Diagram.png b/docs/html/_images/CV32E40P_Block_Diagram.png
diff --git a/docs/html/_images/CV32E40P_Pipeline.png b/docs/html/_images/CV32E40P_Pipeline.png