Binary Decision Diagram
您將能夠在 5 秒內下載。
您也可以點擊以下外部下載連結開始下載:
http://sourceforge.net/projects/bdd-tree/files/ScreenShots/ScreenShots/Screenshot.zip/download
關於 Binary Decision Diagram
使用二進位決策圖 (BDD) 表示形式生成完整的軟體包,以操作設計優化目標乘法器的邏輯映射,例如(A+B)(C)(D)=在 C++ 核心.C=GUI 中。VB6 Verilog 模組 Quin McCluskey 多功能操作
相關軟體
-
Jeeva - Service Oriented Java Framework 免費
Jeeva 是一個面向服務的 Java 框架,除了為開發人員、管理員和業務分析師提供簡單的開發、部署和審核功能外,還提供容錯事務功能。
-
SF.net BTS -> Bugzilla converter 免費
此專案的存在是為了幫助使用者從 sf.net 的 Bug 跟蹤系統 (BTS) 切換到 Bugzilla (http://www.bugzilla.org)。它會從 SourceForge 上的專案中抓取錯誤,然後自動將它們添加到您的 Bugzilla 安裝中。就這麼簡單!
-
Terra-Mater 免費
程式設計語言 : C++Libs : ZLib, Lua, SQlite,...平臺 : Win32這個遊戲編寫的軟體將被寫成一個 exercice 和一個編碼實驗的實驗室。特徵:- 清潔- 有據可查- 交叉板形- 良好的架構
-
Teatrix 免費
Teatrix 是一個用於協作故事創作的 3D 虛擬環境。它的發展是為支援向青年學生提供掃盲而開發的。該軟體是使用 JAva3D 作為圖形引擎在 JAVA 中構建的。
-
CMS Extentions Room 免費
PHP CMS 增強功能、基於 Nuke 的 CMS 模組和模組以及附加元件。PHP 內容管理移植和模組。翻譯到英語和德語的語言檔。
-
Simien Processor for Jackal 3.0 免費
在 Xilinx 斯巴達 II FPGA 中實現 Jackal v3.0 ISA 的開源實現
-
Aptor 免費
使用 Java 5 註釋生成代碼和驅動動態代理的快速應用程式開發框架
-
graphz 免費
Graphz 是用於操作圖形數據結構的庫。可以使用演算法(如最短路徑等)分析圖形。Graphz 是用 JAva 編寫的。它與 GWT 相容,也可以在瀏覽器中運行。
-
OpenSpice Language Specification 免費
OpenSpice 是Spice程式設計語言不斷發展的開放規範。 提供兩個開源實現。
-
B4 - Block Forth 免費
塊福斯是另一個福斯系統完全寫在 C。