Create CV32E40Pv2_not_verified_features.xlsx

[XavierAubert]

Added a file that contains more informations on verification limitations and features not verified.

Feel free to tell me if there is anything missing or if I am not commiting in the right place

[MikeOpenHWGroup]

Thanks for creating this document @XavierAubert! I would ask for one change. In cell F7 it says:

RTL freeze criteria for Dolphin Desgin but not for OHG

That is technically correct (except for the typo in Design 😉), but could expand it to say:

RTL freeze criteria for Dolphin Design but not for OpenHW Group.  FSM Transition and State are encompassed by Branch plus Condition code coverage.

[pascalgouedo]

FSM Transition and State are encompassed by Branch plus Condition code coverage.

Not sure this is enough. For instance in the controller there are 2 "dead states" when COREV_CLUSTER == 0, i.e. ELW_EXE and IRQ_FLUSH_ELW. But they are still there in the FSM.
And they are reported by lint check:

FSM_UNREACHABLE_STATE: FSM 'top_i.core_i.id_stage_i.controller_i.ctrl_fsm_cs', State IRQ_FLUSH_ELW
FSM_UNREACHABLE_STATE: FSM 'top_i.core_i.id_stage_i.controller_i.ctrl_fsm_cs', State ELW_EXE
FSM_UNREACHABLE_TRANS: FSM 'top_i.core_i.id_stage_i.controller_i.ctrl_fsm_cs', Transition DECODE -> ELW_EXE
FSM_UNREACHABLE_TRANS: FSM 'top_i.core_i.id_stage_i.controller_i.ctrl_fsm_cs', Transition DECODE_HWLOOP -> ELW_EXE

Hopefully these 2 checks severity is Caution and not Error...

[MikeOpenHWGroup]

For instance in the controller there are 2 "dead states"

Interesting point. My statement assumes that there are no dead states.

[pascalgouedo]

Could FSM DEAD STATES and FSM UNREACHABLE TRANSITION be RTL Freeze blocking points?
Not mentioned in RTL checklist today but could improve the RTL quality...

But too late for CV32E40Pv2!

[XavierAubert]

I corrected the typo and added "plus Statements" to your words, so at least it encompasses as well unreachable states with waived code.
Regarding dead ends, for me, it is why 100% FSM coverage is required at Dolphin ;)

[MikeOpenHWGroup]

Regarding dead ends, for me, it is why 100% FSM coverage is required at Dolphin ;)

You are right @XavierAubert, it is often better to include such coverage so we do not need to have these debates! 😝

As @pascalgouedo, says, it is too late for CV32E40Pv2 and I am content to sign-off on what we have today.