[TASK] Add coverage dedicated to Zce to ISACOV

[JeanRochCoulon]

What (objective description) ? Add covergroups for new extension Zicond and Zca, Zcb, Zcmp, Zcmt (Zce for RV32 without F).

How to ? I prefer to add these covergroup in the cva6 env, because it dediceted to extension related only for embedded cva6.

Current Status ? None.

Risks ? None

Prerequisites ? Zca, Zcb, Zcmp, Zcmt spec

KPI ? None

Description of done? Available Function coverage for new extension.

[JeanRochCoulon]

Any news ? If some PRs have been merged, please refer the PR number.

[AyoubJalali]

I add the coverage for Zicond (# 1473) For Zce is pending (do you mean Zcb ?)

[JeanRochCoulon]

Zicond has been disabled in embedded configuration #1534

[AyoubJalali]

Waiting for the merge of the ISA_DECODER into master, to use it to decode these new instruction, because the dasm spike does not support them.

[JeanRochCoulon]

HEllo @AyoubJalali What is the status ? Can we consider it as completed ?

[AyoubJalali]

For now there's only coverage for Zcb !!

[AyoubJalali]

For now the CV32A65X does not support ZCMP or ZCMT, should I add covergoup dedicated for them ? @JeanRochCoulon

[JeanRochCoulon]

65X will support them. I do not know whether you need to have the design implemntation to test your covergroup. You can decide when implementing them.