Skip to content

Cleaned up RTL by only supporting SHARED_FPU == 2

Created by: Silabs-ArjanB

Cleaned up RTL under the assumption that we only want to support SHARED_FP = 2.

Under that assumption (i.e. after changing SHARED_FP from 0 to 2 in the 'golden RTL' the RTL from this pull request and the 'golden RTL' are equivalent for the following two configurations:

Config 1:

parameter PULP_XPULP = 1 parameter PULP_CLUSTER = 1 parameter FPU = 1 parameter PULP_ZFINX = 1 parameter NUM_MHPMCOUNTERS = 1

Config 2:

parameter PULP_XPULP = 0 parameter PULP_CLUSTER = 0 parameter FPU = 0 parameter PULP_ZFINX = 0 parameter NUM_MHPMCOUNTERS = 1

When using the current 'master' RTL as golden, which has SHARED_FP = 0, the pull request is equivalent for the following configurations:

Config 3:

parameter PULP_XPULP = 0 parameter PULP_CLUSTER = 0 parameter FPU = 0 parameter PULP_ZFINX = 0 parameter NUM_MHPMCOUNTERS = 1

Config 4:

parameter PULP_XPULP = 1 parameter PULP_CLUSTER = 1 parameter FPU = 0 parameter PULP_ZFINX = 0 parameter NUM_MHPMCOUNTERS = 1

(In this case setting FPU = 1 will lead to a non equivalent circuit as we would be comparing RTL with SHARED_FP == 0 against RTL with SHARED_FP == 2).

This pull request do not include the ALU simplifications that should be made as well.

Signed-off-by: Arjan Bink Arjan.Bink@silabs.com

Merge request reports

Loading