search

project-oak / silveroak

Formal specification and verification of hardware, especially for security and privacy.
Apache License 2.0
124 stars 20 forks source link

Example SystemVerilog output from SilverOak stage 1 #951

Open blaxill opened 3 years ago

blaxill commented 3 years ago

Not intended to be merged, just to show generated SystemVerilog