A Platform for High-Level Parametric Hardware Specification and its Modular Verification
Why do you think that https://github.com/CakeML/hardware is a good alternative to kami
A Platform for High-Level Parametric Hardware Specification and its Modular Verification
Why do you think that https://github.com/CakeML/hardware is a good alternative to kami