DocumentCode
2866776
Title
Refinement of on-chip communication channels
Author
Plosila, Juha ; Liljeberg, Pasi ; Isoaho, Jouni
Author_Institution
Dept. of Inf. Technol., Turku Univ., Finland
fYear
2004
fDate
16-18 Nov. 2004
Firstpage
197
Lastpage
200
Abstract
We present a formal systematic approach to model and stepwise refine on-chip communication channels. The approach is based on the formal framework of action systems. We show how an abstract channel, modeled as a remote procedure, is first refined into an intermediate form and then further into a concrete implementable model based on boolean communication variables.
Keywords
formal specification; integrated circuit modelling; message passing; protocols; remote procedure calls; system-on-chip; telecommunication network topology; SoC communication channels; SoC communication networks; action systems formalism; boolean handshake signaling; concurrent system specification; formal methods; handshake protocols; message-passing channel model; on-chip communication channel modeling; remote procedure call transactions; single-variable signaling; Artificial intelligence; Communication channels; Computational modeling; Concrete; Information technology; Interference; Process design; System-on-a-chip; Transformers; Very large scale integration;
fLanguage
English
Publisher
ieee
Conference_Titel
System-on-Chip, 2004. Proceedings. 2004 International Symposium on
Print_ISBN
0-7803-8558-6
Type
conf
DOI
10.1109/ISSOC.2004.1411184
Filename
1411184
Link To Document