Title :
Refinement of on-chip communication channels
Author :
Plosila, Juha ; Liljeberg, Pasi ; Isoaho, Jouni
Author_Institution :
Dept. of Inf. Technol., Turku Univ., Finland
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;
Conference_Titel :
System-on-Chip, 2004. Proceedings. 2004 International Symposium on
Print_ISBN :
0-7803-8558-6
DOI :
10.1109/ISSOC.2004.1411184
