Tlul spec (merge after #953)

project-oak / silveroak

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

Apache License 2.0

123 stars 20 forks source link

Closed fshaked closed 2 years ago

fshaked commented 2 years ago

Add a spec for TLUL.