Refinement of on-chip communication channels
Juha Plosila, Pasi Liljeberg, Jouni Isoaho · 2005
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.