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 条

[31] The fast evolving landscape of on-chip communication
Bertozzi, Davide
Dimitrakopoulos, Giorgos
Flich, Jose
Sonntag, Soeren
DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2015, 19 (1-2) : 59 - 76
[32] Delay Optimized Architecture for On-Chip Communication
Sheraz Anjum
Journal of Electronic Science and Technology of China, 2009, 7 (02) : 104 - 109
[33] On-chip communication design: Roadblocks and avenues
Carloni, LP
Sangiovanni-Vincentelli, AL
CODES(PLUS)ISSS 2003: FIRST IEEE/ACM/IFIP INTERNATIONAL CONFERENCE ON HARDWARE/SOFTWARE CODESIGN & SYSTEM SYNTHESIS, 2003, : 75 - 76
[34] Terahertz topological photonics for on-chip communication
Yihao Yang
Yuichiro Yamagami
Xiongbin Yu
Prakash Pitchappa
Julian Webber
Baile Zhang
Masayuki Fujita
Tadao Nagatsuma
Ranjan Singh
Nature Photonics, 2020, 14 : 446 - 451
[35] Spidergon: a novel on-chip communication network
Coppola, M
Locatelli, R
Maruccia, G
Pieralisi, L
Scandurra, A
2004 INTERNATIONAL SYMPOSIUM ON SYSTEM-ON-CHIP, PROCEEDINGS, 2004, : 15 - 15
[36] Scaling Optical Communication for On-Chip Interconnect
Binggeli, Mat
Li, Feng
2018 19TH INTERNATIONAL CONFERENCE ON ELECTRONIC PACKAGING TECHNOLOGY (ICEPT), 2018, : 1178 - 1183
[37] On-chip communication analysis for multimedia applications
Varatkar, G
Marculescu, R
IEEE INTERNATIONAL CONFERENCE ON MULTIMEDIA AND EXPO, VOL I AND II, PROCEEDINGS, 2002, : A185 - A188
[38] Analyzing on-chip communication in a MPSoC environment
Loghi, M
Angiolini, F
Bertozzi, D
Benini, L
DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, 2004, : 752 - 757
[39] Addressing Method for the Components of On-Chip Communication
Sharma, Prabhat K.
Bairathi, Rakesh
INTERNATIONAL MULTICONFERENCE OF ENGINEERS AND COMPUTER SCIENTISTS (IMECS 2010), VOLS I-III, 2010, : 795 - +
[40] Terahertz topological photonics for on-chip communication
Yang, Yihao
Yamagami, Yuichiro
Yu, Xiongbin
Pitchappa, Prakash
Webber, Julian
Zhang, Baile
Fujita, Masayuki
Nagatsuma, Tadao
Singh, Ranjan
NATURE PHOTONICS, 2020, 14 (07) : 446 - +

← 1 2 3 4 5 →