A Platform for High-Level Parametric Hardware Specification and its Modular Verification
Why do you think that https://github.com/AbsInt/CompCert 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/AbsInt/CompCert is a good alternative to kami