参数化综合案例研究：AMBA AHB
Parameterized Synthesis Case Study: AMBA AHB
摘要：
我们重新审视了AMBA AHB案例研究，该案例研究已被用作几种反应合成工具的基准。综合AMBA AHB实现，可以服务于大量的主机仍然是一个困难的问题。我们演示了如何使用参数化合成令牌环，以获得一个组件，服务于一个单一的主实现，并可以安排在一个环中的任意多个组件。我们描述了新的技巧-属性分解合成和简单GR（1）的直接编码-与先前描述的优化一起，使我们能够在大约1小时内合成具有14个状态的组件模型。
英文摘要：
We revisit the AMBA AHB case study that has been used as a benchmark for several reactive synthesis tools. Synthesizing AMBA AHB implementations that can serve a large number of masters is still a difficult problem. We demonstrate how to use parameterized synthesis in token rings to obtain an implementation for a component that serves a single master, and can be arranged in a ring of arbitrarily many components. We describe new tricks - property decompositional synthesis, and direct encoding of simple GR(1) - that together with previously described optimizations allowed us to synthesize a component model with 14 states in about 1 hour.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
