【文件属性】:
文件名称:bsvtokami:将Bluespec SystemVerilog转换为Kami以与coq证明助手一起使用
文件大小:326KB
文件格式:ZIP
更新时间:2021-02-10 14:43:27
compiler coq bluespec formal-verification Python
bsvtokami
Bsvtokami将BSV源代码转换为Kami,以便在Coq证明助手中使用。