精益 kami 返回
项目作者： mit-plv

项目描述 ：
A Platform for High-Level Parametric Hardware Specification and its Modular Verification
高级语言： Coq
项目地址: git://github.com/mit-plv/kami.git
创建时间： 2017-07-11T22:11:16Z
项目社区：https://github.com/mit-plv/kami
开源协议：MIT License
下载