项目描述 ：
A formally verified high-level synthesis tool based on CompCert and written in Coq.

高级语言： Coq

项目主页： https://vericert.ymhg.org

项目地址: git://github.com/ymherklotz/vericert.git

创建时间： 2019-10-02T18:48:56Z
项目社区：https://github.com/ymherklotz/vericert
开源协议：Other
下载