COSI: A Framework for the Design of Interconnection Networks

Alessandro Pinto, Luca P. Carloni, Alberto Sangiovanni-Vincentelli
<span title="">2008</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="" style="color: black;">IEEE Design &amp; Test of Computers</a> </i> &nbsp;
402 Editor's note: This article presents a software framework for communication infrastructure synthesis of distributed systems, which is critical for overall system performance in communication-based design. Particular emphasis is given to on-chip interconnect synthesis of multicore designs. -Radu Marculescu, Carnegie Mellon University Design and Test of Interconnects for Multicore Chips 0740-7475/08/$25.00 G 2008 IEEE Copublished by the IEEE CS and the IEEE CASS IEEE Design & Test of
more &raquo; ... Authorized licensed use limited to: Columbia University. Downloaded on October 11, 2008 at 11:54 from IEEE Xplore. Restrictions apply. A model for communication synthesis COSI is based on a model consisting of quantities that measure the performance of a communication component, composition rules that govern how to build composite components from existing ones, and communication structures that capture the behavior of composite components. Here, we can only briefly introduce the model; a complete presentation appears elsewhere. 5 Design constraints and component capabilities (performance figures) are expressed with quantities. A quantity q ranges on a partially ordered domain D q . We assume that a quantity's domain contains the special value H, denoting "no value," and it may contain the special value T, denoting "any value." Quantities can be very general. For instance, a component's ports are pairs composed of a tag and an interface specification. Figure 1a shows the domains of the quantities involved in describing an interface that is a tuple of four quantities: the type t denoting the interface protocol, the width w in number of bits, the speed f in Hz, and the direction io indicating whether an interface is input, output, or bidirectional. A quantity's domain is ordered according to a relation that ranks each value in terms of performance or constraint. For instance, an interface's speed and width follow the ordering of natural numbers, because an interface offering a broader bit parallelism and operating at a faster speed dominates a slower and narrower one. The domain of quantity io is ordered by the following relations: H , in , inout and H , out , inout, but in and out are incomparable. The type domain is unordered. The domain of the tuple of quantities that specify an interface is the cross product of the domains D t , D w , D f , and D io , which are sorted according to the order induced by the single quantities. Figure 1b shows the ordering relation among some elements of D (w,f,io) Quantities are attached to the components of a communication network to characterize its properties. In fact, we represent networks by mathematical objects called communication structures. A communication structure is a tuple N(C, q, L), where C is a set of components (nodes and links), q is a vector of quantity variables, and L is a set of configurations (a 403 Figure 1 . Example of interface description (a), interface quantity domain (b), and communication structure ordering (c).
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="">doi:10.1109/mdt.2008.138</a> <a target="_blank" rel="external noopener" href="">fatcat:wmakl7fatzhnxkihvdym6hbr7a</a> </span>
<a target="_blank" rel="noopener" href="" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href=""> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> </button> </a>