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文档