参数化综合案例研究：AMBA AHB（扩展版）
软件工程
2016-09-05 v3
摘要
我们回顾了 AMBA AHB 案例研究，该研究已被用作多个反应式综合工具的基准。综合能够服务大量主设备的 AMBA AHB 实现仍然是一个难题。我们展示了如何在令牌环中使用参数化综合来获得一个服务于单个主设备的组件实现，该组件可以排列成任意数量组件组成的环。我们描述了新的技巧——属性分解综合和简单 GR(1) 的直接编码——结合先前描述的优化，使我们能够在 30 分钟内综合出具有 14 个状态的模型。
引用
@article{arxiv.1406.7608,
title = {Parameterized Synthesis Case Study: AMBA AHB (extended version)},
author = {Roderick Bloem and Swen Jacobs and Ayrat Khalimov},
journal= {arXiv preprint arXiv:1406.7608},
year = {2016}
}
备注
Moved to appendix some not very important proofs. To section 'optimizations: added the model for 0-process. Extended version of the paper submitted to SYNT 2014