文件名称：Automated Reasoning for Bluespec Designs-开源
文件大小：244KB
文件格式：ZIP
更新时间：2024-06-16 10:53:10
开源软件
该页面包含用于将自动推理应用于Bluespec SystemVerilog（BSV）硬件设计的工具。 我们提供用于将BSV设计导入PVS定理证明器和SAL模型检查器的代码。
【文件预览】：
AR4Bluespec
----COPYRIGHT.txt(2KB)
----.DS_Store(6KB)
----SAL()
--------Docs()
--------.DS_Store(6KB)
--------PetersonMonadic()
--------ArbiterPrimitive()
--------README.txt(680B)
--------PetersonPrimitive()
----BSV()
--------Peterson.bsv(2KB)
--------.DS_Store(6KB)
--------TbArbiter.bsv(797B)
--------Arbiter.bsv(4KB)
----PVS()
--------.DS_Store(15KB)
--------BluespecMonad()
--------Peterson()
--------Arbiter()
--------README.txt(2KB)
--------BluespecPrelude()
--------TbArbiter()