参数化综合案例研究：AMBA AHB
计算机科学中的逻辑
2014-07-25 v1 软件工程
摘要
我们重新审视了 AMBA AHB 案例研究，该研究已被用作多个反应式综合工具的基准。综合能够服务于大量主设备的 AMBA AHB 实现仍然是一个难题。我们演示了如何在令牌环中使用参数化综合来获得服务于单个主设备的组件实现，并且该组件可以排列在由任意数量组件组成的环中。我们描述了新的技巧——属性分解综合和简单 GR(1) 的直接编码——这些技巧与先前描述的优化方法相结合，使我们能够在约 1 小时内综合出一个包含 14 个状态的组件模型。
引用
@article{arxiv.1407.6580,
title = {Parameterized Synthesis Case Study: AMBA AHB},
author = {Roderick Bloem and Swen Jacobs and Ayrat Khalimov},
journal= {arXiv preprint arXiv:1407.6580},
year = {2014}
}
备注
Conference version of arXiv:1406.7608. In Proceedings SYNT 2014, arXiv:1407.4937