Modeling on-chip communication

被引：0
|
作者：
Seceleanu, T [1 ]
Plosila, J [1 ]
机构：
[1] Turku Univ, Dept Informat Technol, Turku, Finland
来源：
INTERNATIONAL SYMPOSIUM ON SYSTEM-ON-CHIP, PROCEEDINGS | 2003年
关键词：
D O I：
10.1109/ISSOC.2003.1267724
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Utility of formal methods in hardware design became of crucial importance during the last decade. In this study, we apply techniques of the Action Systems framework in the development of a bus-based system. The emphasis is on the extraction of the arbiter unit, from an initial high abstract level description.
引用
收藏
页码：89 / 92
页数：4
相关论文
共 50 条
  • [1] A hierarchical modeling framework for on-chip communication architectures
    Zhu, XP
    Malik, S
    IEEE/ACM INTERNATIONAL CONFERENCE ON CAD-02, DIGEST OF TECHNICAL PAPERS, 2002, : 663 - 670
  • [2] Efficient modeling and synthesis of on-chip communication protocols for network-on-chip design
    Siegmund, R
    Müller, D
    PROCEEDINGS OF THE 2003 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOL V: BIO-MEDICAL CIRCUITS & SYSTEMS, VLSI SYSTEMS & APPLICATIONS, NEURAL NETWORKS & SYSTEMS, 2003, : 81 - 84
  • [3] Robust on-chip communication
    Bose, P
    IEEE MICRO, 2006, 26 (03) : 5 - 5
  • [4] On-chip stochastic communication
    Dumitras, T
    Marculescu, R
    EMBEDDED SOFTWARE FOR SOC, 2003, : 373 - 386
  • [5] On-chip stochastic communication
    Dumitras, T
    Marculescu, R
    DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, PROCEEDINGS, 2003, : 790 - 795
  • [6] A hierarchical modeling framework for on-chip communication architectures of multiprocessing SoCs
    Zhu, Xinping
    Malik, Sharad
    ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2007, 12 (01)
  • [7] Genetic Algorithm Based On-Chip Communication Link Reconfiguration for Efficient On-Chip Communication
    Hemalatha, S. Beulah
    Vigneswaran, T.
    2017 INTERNATIONAL CONFERENCE ON ALGORITHMS, METHODOLOGY, MODELS AND APPLICATIONS IN EMERGING TECHNOLOGIES (ICAMMAET), 2017,
  • [8] Integrated On-Chip Antennas for Chip-to-Chip Communication
    Yordanov, Hristomir H.
    Russer, Peter
    2008 IEEE ANTENNAS AND PROPAGATION SOCIETY INTERNATIONAL SYMPOSIUM, VOLS 1-9, 2008, : 41 - 44
  • [9] An on-chip CDMA communication network
    Wang, Xin
    Nurmi, Jari
    2005 International Symposium on System-On-Chip, Proceedings, 2005, : 155 - 160
  • [10] The LOTTERYBUS on-chip communication architecture
    Lahiri, Kanishka
    Raghunathan, Anand
    Lakshminarayana, Ganesh
    IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2006, 14 (06) : 596 - 608
12345