Skip to content
New issue

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

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

Already on GitHub? # to your account

Asserts - OBI Max Outstanding #2180

Merged

Conversation

silabs-robin
Copy link
Contributor

@silabs-robin silabs-robin commented Sep 5, 2023

This PR adds a simple check for maximum outstanding OBI transactions.

Reason:
#2177 (comment)
I was at a crossroads, faced with a dilemma, the choice of trusting the words of men or the words of a machine.
I chose the machine.

Test status:

  • ci_check - All good.
  • Formal - The new checks pass, the new covers are reached.

Signed-off-by: Robin Pedersen <Robin.Pedersen@silabs.com>
@silabs-robin silabs-robin mentioned this pull request Sep 5, 2023
@silabs-robin silabs-robin marked this pull request as ready for review September 5, 2023 12:22
Copy link
Contributor

@silabs-hfegran silabs-hfegran left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me

@silabs-robin silabs-robin merged commit c7892b1 into openhwgroup:cv32e40s/dev Sep 5, 2023
@silabs-krdosvik
Copy link

Good, then we know for sure!

# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants