ufsm
v0.5.3

UFSM是繪製層次結構機器和生成代碼的工具。這兩個主要部分是“ UFSM-Compose”圖形編輯器和代碼生成器的“ UFSM生成”。

UFSM是一項正在進行的工作,這是不完整的,它完全有可能設計無法正常工作的機器。
- 版本0.1-0.3
使用了相當複雜的運行時,該運行時間是在狀態計算機的圖形表示的樹結構上操作的。這起作用了,但很飢餓和易於錯誤。
第一個版本還依靠外部繪圖工具,並使用XMI格式將設計轉換為可編譯的代碼。
- 版本0.4.x
發貨的“ UFSM Compose”繪圖工具
- 版本0.5.x
代碼的生成方式的基本變化。從0.5到繼續,複雜的運行時會下降,而有利於靜態計算大多數內容的代碼生成器。這大大減少了運行時內存要求。
- 添加更多代碼生成器後端,例如Rust,JS和Python
- DRC,設計規則檢查器
- 基於BDD的狀態條件規則優化器
Linux的適應性:
在發行下,適用於繪圖工具和代碼生成器。這是快速測試UFSM的最簡單方法。
建築:
$ mkdir build && cd build $ cmake .. $製作
依賴性:
| 包裹 | Ubuntu軟件包名稱 |
|---|---|
| cmake | cmake |
| UUID | UUID-RUNTIME,UUID-DEV |
| GTK 3 | libgtk-3-0,libgtk-3-dev |
運行測試:
$進行測試
文檔可用:UFSM文檔