ACMgen 是异步通信机制的自动代码生成器，基于 Petri 网络模型的生成，这些模型可以针对某些属性进行正式验证，然后转换为实际实现（例如.C+或 Verilog）。
版本历史记录
- 版本 1.0 发布于 2008-03-10
若干修复和更新 {*} - 版本 1.0 发布于 2008-03-10
软件信息
- 软件分类： 发展 > 其他
- 发布者： acmgen.sf.net
- 许可： 免费
- 价格： N/A
- 版本： 1.0
- 适用平台： linux
ACMgen 是异步通信机制的自动代码生成器，基于 Petri 网络模型的生成，这些模型可以针对某些属性进行正式验证，然后转换为实际实现（例如.C+或 Verilog）。