本页包含用于将自动推理应用于 Bluespec 系统验证 (BSV) 硬件设计的工具。我们提供将BSV设计导入PVS定理证明和SAL模型检查器的代码。
版本历史记录
- 版本 files 发布于 2011-04-04
若干修复和更新 - 版本 N/A 发布于 2011-04-04
软件信息
- 软件分类: 网络与互联网 > 其他
- 发布者: ar4bluespec.sf.net
- 许可: 免费
- 价格: N/A
- 版本: Array
- 适用平台: windows
本页包含用于将自动推理应用于 Bluespec 系统验证 (BSV) 硬件设计的工具。我们提供将BSV设计导入PVS定理证明和SAL模型检查器的代码。