search

yupferris / kaze

An HDL embedded in Rust.
Apache License 2.0
194 stars 9 forks source link

Formal verification support #36

Open yupferris opened 3 years ago

yupferris commented 3 years ago

Lots of ideas here, no time to write them down, will do so later :)