Skip to content
This repository has been archived by the owner on Nov 22, 2023. It is now read-only.

Register Write assertion on register x0 #167

Closed
huettern opened this issue Jun 21, 2021 · 1 comment
Closed

Register Write assertion on register x0 #167

huettern opened this issue Jun 21, 2021 · 1 comment
Labels
bug Something isn't working

Comments

@huettern
Copy link
Collaborator

huettern commented Jun 21, 2021 •
edited
Loading

This assertion should not trigger when writing to x0

snitch/hw/ip/snitch/src/snitch.sv

Line 2606 in 6f7ed31

`ASSERT(RegWriteKnown, gpr_we |-> !$isunknown(gpr_wdata), clk_i, rst_i)

@huettern huettern added the bug Something isn't working label Jun 21, 2021
@huettern huettern mentioned this issue Jul 30, 2021
Merged
@zarubaf
Copy link
Contributor

zarubaf commented Aug 4, 2021

That should be fixed by #180

@zarubaf zarubaf closed this as completed Aug 4, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@zarubaf @huettern