Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

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

Open
JeanRochCoulon opened this issue Sep 13, 2023 · 8 comments
Open

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

JeanRochCoulon opened this issue Sep 13, 2023 · 8 comments
Assignees
@AyoubJalali
Labels
Component:Verif For issues in the verification environment or test cases (e.g. for testbench, C code, etc.) CV32A65X Part: Embedded configuration Type:Task Project related task

Comments

@JeanRochCoulon
Copy link
Contributor

JeanRochCoulon commented Sep 13, 2023 •
edited
Loading

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 JeanRochCoulon converted this from a draft issue Sep 13, 2023
@JeanRochCoulon JeanRochCoulon added Component:Verif For issues in the verification environment or test cases (e.g. for testbench, C code, etc.) CV32A65X Part: Embedded configuration labels Sep 13, 2023
@JeanRochCoulon JeanRochCoulon changed the title Add coverage dedicated to Zicond, Zb and Zce to ISACOV Add coverage dedicated to Zicond and Zce to ISACOV Sep 13, 2023
@AnouarZajni AnouarZajni moved this from Todo to In Progress in CVA6 Project Task Board Sep 27, 2023
@JeanRochCoulon
Copy link
Contributor Author

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

@AyoubJalali
Copy link
Contributor

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

@JeanRochCoulon
Copy link
Contributor Author

Zicond has been disabled in embedded configuration #1534

@JeanRochCoulon JeanRochCoulon added the Type:Task Project related task label Oct 18, 2023
@JeanRochCoulon JeanRochCoulon changed the title Add coverage dedicated to Zicond and Zce to ISACOV [TASK] Add coverage dedicated to Zicond and Zce to ISACOV Oct 19, 2023
@JeanRochCoulon JeanRochCoulon changed the title [TASK] Add coverage dedicated to Zicond and Zce to ISACOV [TASK] Add coverage dedicated to Zce to ISACOV Oct 19, 2023
@JeanRochCoulon JeanRochCoulon moved this from In Progress to Blocked in CVA6 Project Task Board Oct 26, 2023
@AyoubJalali
Copy link
Contributor

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
Copy link
Contributor Author

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

@AyoubJalali
Copy link
Contributor

For now there's only coverage for Zcb !!

@AyoubJalali
Copy link
Contributor

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

@JeanRochCoulon
Copy link
Contributor Author

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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@AyoubJalali AyoubJalali

Labels
Component:Verif For issues in the verification environment or test cases (e.g. for testbench, C code, etc.) CV32A65X Part: Embedded configuration Type:Task Project related task
Projects
CVA6 Project Task Board
Status: Blocked
Milestone
No milestone
Development

No branches or pull requests
2 participants
@JeanRochCoulon @AyoubJalali