Parameterized Synthesis Case Study: AMBA AHB

被引：10

作者：

Bloem., Roderick ^{[1
]}

Jacobs, Swen ^{[1
]}

Khalimov, Ayrat ^{[1
]}

机构：

[1] Graz Univ Technol, Graz, Austria

来源：

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2014年 / 157期

基金：

奥地利科学基金会;

关键词：

D O I：

10.4204/EPTCS.157.9

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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.

引用

页码：68 / 83

页数：16

共 50 条

[1] Synthesis of AMBA AHB from formal specification: A case study
Godhal Y.
Chatterjee K.
Henzinger T.A.
International Journal on Software Tools for Technology Transfer, 2013, 15 (5-6) : 585 - 601
[2] The design of AMBA AHB/VCI wrapper
Zhang, QL
Yu, MY
Wang, JX
Ye, YZ
Lai, FC
2003 5TH INTERNATIONAL CONFERENCE ON ASIC, VOLS 1 AND 2, PROCEEDINGS, 2003, : 438 - 442
[3] HDL and Timing Analysis of AMBA AHB on FPGA Platform
Gaur, Anshu
Sharma, Piyush
Pandey, Shiv Pratap
2017 RECENT DEVELOPMENTS IN CONTROL, AUTOMATION AND POWER ENGINEERING (RDCAPE), 2017, : 22 - 27
[4] SystemVerilog Assertion Based Verification of AMBA-AHB
Gurha, Prince
Khandelwal, R. R.
2016 INTERNATIONAL CONFERENCE ON MICRO-ELECTRONICS AND TELECOMMUNICATION ENGINEERING (ICMETE), 2016, : 641 - 645
[5] 基于AMBA的AHB总线矩阵设计
王一楠
林涛
余宁梅
微电子学与计算机, 2019, 36 (02) : 73 - 77
[6] AMBA AHB bus potocol checker with efficient debugging mechanism
Lin, Yi-Ting
Wang, Chien-Chou
Huang, Ing-Jer
PROCEEDINGS OF 2008 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-10, 2008, : 928 - 931
[7] Performance analysis of different arbitration algorithms of the AMBA AHB bus
Conti, M
Caldari, M
Vece, GB
Orcioni, S
Turchetti, C
41ST DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2004, 2004, : 618 - 621
[8] Design & Verification of AMBA AHB-Lite Memory Controller
Kommineni, Anila
Gundu, Manoj Kumar
Kim, Youngsoo
Jadhav, Shrikant
2023 IEEE 13TH ANNUAL COMPUTING AND COMMUNICATION WORKSHOP AND CONFERENCE, CCWC, 2023, : 1307 - 1312
[9] Design of AMBA Based AHB2APB Bridge
Vani, R. M.
Roopa, M.
INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2010, 10 (11): : 14 - 18
[10] AES block cipher implementations with AMBA-AHB interface
Ceminari, Paola
Arelovich, Ariel
Di Federico, Martin
2017 1ST IEEE CONFERENCE ON PHD RESEARCH IN MICROELECTRONICS AND ELECTRONICS LATIN AMERICA (PRIME-LA), 2017, : 45 - 48

← 1 2 3 4 5 →