bsvtokami：将Bluespec SystemVerilog转换为Kami以与coq证明助手一起使用

【文件属性】：

文件名称：bsvtokami：将Bluespec SystemVerilog转换为Kami以与coq证明助手一起使用

文件大小：326KB

文件格式：ZIP

更新时间：2024-03-02 08:30:07

compiler coq bluespec formal-verification Python

bsvtokami Bsvtokami将BSV源代码转换为Kami，以便在Coq证明助手中使用。