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

latch detection in spyglass audit report #2247

Open
1 task done
Asmaa-Kassimi opened this issue Jun 12, 2024 · 1 comment
Open
1 task done

latch detection in spyglass audit report #2247

Asmaa-Kassimi opened this issue Jun 12, 2024 · 1 comment
Assignees
@JeanRochCoulon @ASintzoff
Labels
Component:RTL For issues in the RTL (e.g. for files in the rtl directory) Type:Bug For bugs in the RTL, Documentation, Verification environment or Tool and Build system

Comments

@Asmaa-Kassimi
Copy link
Contributor

Asmaa-Kassimi commented Jun 12, 2024 •
edited
Loading

Is there an existing CVA6 bug for this?

  • I have searched the existing bug issues

Bug Description

Spyglass detects the presence of 33 latches in csr_regfile.sv. Refer to Audit.rpt report generated by design_audit command.

Make sure that every signal in a combinational block is assigned in all possible conditions, to prevent from unintentional latches and further infer-latch lint errors in Spyglass.
@Asmaa-Kassimi Asmaa-Kassimi added the Type:Bug For bugs in the RTL, Documentation, Verification environment or Tool and Build system label Jun 12, 2024
@JeanRochCoulon
Copy link
Contributor

Thanks @Asmaa-Kassimi for this finding. I know you try to fix it, what is fine. If needed, we can provide support.

@JeanRochCoulon JeanRochCoulon added the Component:RTL For issues in the RTL (e.g. for files in the rtl directory) label Jun 20, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@JeanRochCoulon JeanRochCoulon

@ASintzoff ASintzoff

Labels
Component:RTL For issues in the RTL (e.g. for files in the rtl directory) Type:Bug For bugs in the RTL, Documentation, Verification environment or Tool and Build system
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@JeanRochCoulon @ASintzoff @Asmaa-Kassimi