Merge pull request #2499 from pascalgouedo/cv32e40p/dev_dd_pgo

Changed CV_CORE_TAG to final CV32E40P RTL tag.

Author: pascalgouedo

cv32e40p/sim/ExternalRepos.mk

@@ -14,9 +14,9 @@
 export SHELL = /bin/bash
 
 CV_CORE_REPO   ?= https://github.com/openhwgroup/cv32e40p
-CV_CORE_BRANCH ?= dev
+CV_CORE_BRANCH ?= master
 CV_CORE_HASH   ?= head
-CV_CORE_TAG    ?= none
+CV_CORE_TAG    ?= cv32e40p_v1.8.3
 
 # The CV_CORE_HASH above points to version of the RTL that is newer.
 # It is logically equivalent with respect to v1.0.0 RTL freeze version with all parameters disabled.