mrhaandi / kami Goto Github PK
View Code? Open in Web Editor NEWThis project forked from mit-plv/kami
A Platform for High-Level Parametric Hardware Specification and its Modular Verification
Home Page: https://plv.csail.mit.edu/kami/
License: MIT License