提交軟體
  1. 首頁
  2. PC軟體
  3. 其他
  4. Automated Reasoning for Bluespec Designs

Automated Reasoning for Bluespec Designs

軟體性質： 免費 ‎檔案大小： N/A
‎使用者評分： 4.0/5 - ‎2 ‎評分
點擊下載

本頁包含用於將自動推理應用於 Bluespec 系統驗證 （BSV） 硬體設計的工具。我們提供將BSV設計導入PVS定理證明和SAL模型檢查器的代碼。

版本歷史記錄

  • 版本 files 發佈於 2011-04-04
    若干修復和更新
  • 版本 N/A 發佈於 2011-04-04

軟體細節

相關軟體

  • Remote for MPC PRO 免費試用

    使用 MPC 遙控器使用 Android 設備控制媒體播放器經典家庭影院。這個程式是一個遠端控制，你的MPC-HC播放機通過網路。MPC 遠端從 KitKat 開始實現半透明設計。特徵：直觀的介面MPC Remote 的新遠端圈結合了遙控器最重要的功能。語音控制無需用手控制 VLC。使用預先定義的語音命令或創建自己的語音命令。通知通過通知列控制 MPC，即使在應用外部。部件直

  • PXPerl 免費

    PXPerl 是 Windows （R） 2000/XP 的全功能 Perl 二進位發行版。它配備了Perl，帕格和鸚鵡的二進位檔，以及許多額外的Perl模組相比，ActivePerl。

  • myjug community project 免費

    這個專案的想法是提供一種方法學習開源的方式。當然，該專案將建立在其他現有的雅加達框架和專案。該專案更像是一個元專案它由其他較小的項目組成

  • Cloud Hub 免費

    雲中心是一個鏈路級無線網狀網路實現。使用雲集線器固件，接入點會自動查找彼此，優化連接拓撲，並允許其他臨時無線使用者以用戶端方式加入。

  • CAPE-OPEN Logging Tools 免費

    CAPE-OPEN 記錄工具允許透過行程建模環境和程序建模組之間的 CAPE-OPEN 介面進行通訊記錄。版本1.08.4是最新的穩定版本（2009年11月5日）。

  • SimplePOS 免費

    C++ 年編寫的高品質銷售點 （POS） 和庫存管理軟體套件，包含 MySQL 資料庫後端和基於 PHP 的 Web 介面，支援條碼掃描器和任何標準印表機（包括背誦印表機）。

  • upIRC 免費試用

    upIRC （以前的 apirc） 是 Palm Os 的網路中繼聊天 （IRC） 用戶端。它快速、穩定，包括各種功能。 其中包括 DCC 聊天支援、自定義字體支援、帶變數的命令快捷方式、命令的自動完成以及用於在通道中輸入暱稱的一鍵快捷方式。

  • AI::Categorizer Perl modules 免費

    使用機器學習方法自動對文本進行分類的開源 Perl 框架。

  • Tuxbox-TV 免費

    有了這個程式，你將能夠選擇，並得到電視流從你的dbox 並在您的 PC 上顯示此內容，包括 EPG 資料。程式設計語言：JAVA操作系統拼版： Linux/ Unix， Windows， Mac

  • X-NetAPI 免費

    用於 X 平面飛行模擬器的外掛程式和用於 X 平面模擬器的健壯網路 API 的用戶端庫。