Skip to content

[TASK] Add coverage dedicated to Zce to ISACOV #1398

@JeanRochCoulon

Description

@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.

Metadata

Metadata

Assignees

Labels

Component:VerifFor issues in the verification environment or test cases (e.g. for testbench, C code, etc.)Type:TaskProject related task

Type

No type

Projects

Status

Blocked

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions