Protocol generation for communication channels
Sanjiv M. Narayan, Daniel D. Gajski · 1994
System-level partitioning groups processes and variables in the system speci cation into modules representing chips and memories.Communication between the modules is represented by abstract communication channels, which are merged and implemented a s a b u s to minimize interconnect.Given a set of channels, bus generation synthesizes the bus structure, by trading o the the width of the bus and the performance of the processes communicating over it.For each channel, we describe a method to generate protocols that specify the mechanism of data transfer over the bus.Protocol generation presented in this paper results in a re ned system speci cation that is simulatable.Both busgeneration and protocol-generation are demonstrated on detailed examples.