Parameterized Synthesis Case Study: AMBA AHB (extended version)

Roderick Bloem, Swen Jacobs, Ayrat Khalimov

We revisit the AMBA AHB case study that has been used as a benchmark for several reactive syn- thesis tools. Synthesizing AMBA AHB implementations that can serve a large number of…