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

Add support for asynchronous resets to AXI-Stream properties #4

Open
rlee287 opened this issue Dec 14, 2020 · 1 comment · May be fixed by #3
Open

Add support for asynchronous resets to AXI-Stream properties #4

rlee287 opened this issue Dec 14, 2020 · 1 comment · May be fixed by #3
Labels
AXI-Stream Formal Property Set

Comments

@rlee287
Copy link
Owner

rlee287 commented Dec 14, 2020

Reset assertion is easy in that assertion of reset should immediately pull down TVALID. The permissibility of releasing TVALID combinationally upon release of reset needs to be checked against the standards document.
@rlee287 rlee287 linked a pull request Dec 14, 2020 that will close this issue
Open
rlee287 added a commit that referenced this issue Dec 16, 2020
@rlee287
Fix reset things and use preprocessor to encourage code reuse
43984c5 
Closes #4
@rlee287 rlee287 linked a pull request Dec 16, 2020 that will close this issue
AXI-Stream Formal Properties #3
Open
@rlee287
Copy link
Owner Author

rlee287 commented Jan 6, 2021

This should be working now outside of multiclock environments.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
AXI-Stream Formal Property Set
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

AXI-Stream Formal Properties rlee287/hardware-bus-infrastructure
1 participant
@rlee287