Skip to content

Comments

[dv] Remove unused assertion#2371

Merged
nasahlpa merged 1 commit intolowRISC:masterfrom
nasahlpa:remove_assertion
Feb 17, 2026
Merged

[dv] Remove unused assertion#2371
nasahlpa merged 1 commit intolowRISC:masterfrom
nasahlpa:remove_assertion

Conversation

@nasahlpa
Copy link
Member

With the recent changes in the register file, a MUX was removed. Hence, we also need to remove the corresponding assertions for this MUX from the test bench.

With the recent changes in the register file, a MUX was removed. Hence,
we also need to remove the corresponding assertions for this MUX from
the test bench.

Signed-off-by: Pascal Nasahl <nasahlpa@lowrisc.org>
@nasahlpa nasahlpa mentioned this pull request Feb 17, 2026
@nasahlpa nasahlpa added this pull request to the merge queue Feb 17, 2026
Merged via the queue into lowRISC:master with commit 8d171a1 Feb 17, 2026
12 checks passed
@nasahlpa nasahlpa deleted the remove_assertion branch February 17, 2026 17:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants