Add is_read to io_req - Githubissues

project-oak / silveroak

Formal specification and verification of hardware, especially for security and privacy.

Apache License 2.0

124 stars 20 forks source link

Closed fshaked closed 3 years ago