bsvtokami:将Bluespec SystemVerilog转换为Kami以与coq证明助手一起使用 源码
bsvtokami Bsvtokami将BSV源代码转换为Kami,以便在Coq证明助手中使用。
下载地址
用户评论
