blaxill/oak-hardware
Formal specification and verification of hardware, especially for security and privacy.
CoqApache-2.0
Stargazers
No one’s star this repository yet.
Formal specification and verification of hardware, especially for security and privacy.
CoqApache-2.0
No one’s star this repository yet.