Skip to content

Conversation

@hydrolarus
Copy link
Collaborator

This also changes the wishbonePropWithModel function as the WishboneMasterRequests cannot be directly compared to S2M signals (as some might be lost due to timeouts), so this function now reconstructs those WishboneMasterRequests from the M2S signals instead.

Maybe this should use a different abstraction entirely and a more precise way of tracking which "kind" of transaction happened to allow the model function to properly check all possible interactions. (Successful(Read, Write), Timeout with last request)

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.

1 participant