Title :
Addressing the system-on-a-chip interconnect woes through communication-based design
Author :
Sgroi, M. ; Sheets, M. ; Mihal, A. ; Keutzer, K. ; Malik, S. ; Rabaey, J. ; Sangiovanni-Vincentelli, A.
Author_Institution :
California Univ., Berkeley, CA, USA
Abstract :
Communication-based design represents a formal approach to system-on-a-chip design that considers communication between components as important as the computations they perform. Our "network-on-chip" approach partitions the communication into layers to maximize reuse and provide a programmer with an abstraction of the underlying communication framework. This layered approach is cast in the structure advocated by the OSI Reference Model and is demonstrated with a reconfigurable DSP example. The Metropolis methodology of deriving layers through a sequence of adaptation steps between incompatible behaviors is illustrated through the Intercom design example. In another approach, MESCAL provides a designer with tools for a correct-by-construction protocol stack.
Keywords :
application specific integrated circuits; circuit CAD; digital signal processing chips; formal verification; reconfigurable architectures; Intercom design; MESCAL; Metropolis methodology; OSI Reference Model; adaptation steps; communication-based design; correct-by-construction protocol stack; formal approach; network-on-chip; reconfigurable DSP; system-on-a-chip interconnect; underlying communication framework; Clocks; Digital signal processing; Integrated circuit interconnections; Permission; Propagation delay; Protocols; Silicon; Synchronization; System-on-a-chip; Wires;
Conference_Titel :
Design Automation Conference, 2001. Proceedings
Print_ISBN :
1-58113-297-2
DOI :
10.1109/DAC.2001.156222