R. Passerone, J.A. Rowson, and A.L. Sangiovanni-Vincentelli. Automatic synthesis of interfaces between incompatible protocols. In DAC, pages 8--13, 1998.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....conform to the specific bus protocol. We do not address the issue of component interface design in this paper. Currently a huge body of work is devoted to this area with focus on interface modeling, verification and correct by construction synthesis. The interested reader could refer to [10] for example. In this paper, we verify the interactions among various IP cores via the SoC bus, in the AMBA AHB protocol. Even today, these interactions are specified informally in design documents via timing diagrams and English descriptions. Such an informal descriptions makes it almost ....

R. Passerone, J. Rowson, and A. Sangiovanni-Vincentelli. Automatic synthesis of interfaces between incompatible protocols. In IEEE Design Automation Conference (DAC), 1998.

....at di#erent frequencies. Their technique is not optimized for timing as data has to be transferred between bu#ers, amount of control logic as an internal arbiter is used, and storage as separate input and output bu#ers are used. Further, it is assumed that data types are matching. Passerone et al.[17] use regular expression based specifications of synchronous protocols to synthesize an interface which uses only a single bu#er and minimizes the latency between transfers. The synthesis algorithm cannot be easily extended to di#erent kinds of data type mismatching, and does not handle multiple ....

....states to enable a FSM and consequently HDL code to be generated. The assignment of timed states should be such that in one clock cycle the interface performs at most the operations of the two protocols it interfaces. Product construction might introduce nondeterminism or pseudo nondeterminism[17] into the interface when a single read operation precedes di#erent write operations. Nondeterminism can sometimes be resolved by choosing one of the di#erent paths available. In a situation where protocols support single and back to back transfers, a given initial input may produce di#erent ....

Roberto Passerone, James A. Rowson, and Alberto Sangiovanni-Vincentelli. Automatic synthesis of interfaces between incompatible protocols. Proceedings of the 35th Design Automation Conference, June 1998.

....only a very simple implementation of the storage is considered, namely an internal register long enough to store the entire data type. 4. It is assumed that the modules willing to exchange the data are driven by the same clock and are therefore fully synchronous. The algorithm published in [PRSV98] only considers a single transaction. Given the assumptions, the output of the algorithm is a nite state machine and a datapath consisting of the internal register. Reading from and writing to the register can be done in a single clock cycle. The interface will be synthesized by using a ....

....layer, a mapping of message parameters to interface signal values is dened. For interface synthesis, these signals specify the module ports that are to be generated during the synthesis process. Interface Synthesis The message protocol is represented as a regular expressions, as described by [PRSV98] and presented in 4.3.1. The conventions used in this approach are only slightly dioeerent to those already presented. The regular expression r describes the set L of legal signal sequences at the module ports for the transfer protocol. A symbol oe in the alphabet Sigma of the regular expression ....

R. Passerone, J. Rowson, and A. Sangiovanni-Vincentelli. Automatic Synthesis of Interfaces between Incompatible Protocols. In Proc. of DAC'98, San Francisco, California, 1998.

....of the derived relations. The method uses a procedural specification style which makes it difficult to change data sequencing. For complex data communication protocols, the ability to describe complex state machines in an easy way is crucial. Another way to solve the same problem is presented in [41]. Instead of deriving the relations from a procedural language, the two incompatible protocols are specified using a regular expression based protocol description language, a method that will be covered in more detail in the next chapter. The two protocols are first converted into two finite ....

....present a new system design methodology, named Interface based Design, that separates communication from the behaviour. Their methodology has been implemented in a simulator named Cheetah and the potential for improving verification, modelling and synthesis is explored. Their work was extended in [41] by introducing a language for protocol specification when it was found that the above approach was good for fast simulation but not efficient for implementation. They address the problem of automatic synthesis of interfaces between incompatible protocols. The language is based on a regular ....

R. Passerone, J. A. Rowson, A. Sangiovanni-Vincentelli, "Automatic Synthesis of Interfaces between Incompatible Protocols", In Proc. of DAC'98, pp. 8-13, San Francisco, California, 1998.

....of the work has been done in optimizing communication architectures for specific designs. In [5] Gogniat et al. describe mechanism for interfacing HW SW interfaces for co design of embedded systems. Ortega et. al look at a retargettable modeling scheme for maximum utilization of bus bandwidth in [6]. System bus wires DSP Component HW Component Output Communication Model Communication Refinement PCI AMBA DoubleHandShake Motorola DSP56600 Protocol Library A d d r e s s Data Ready Var Var 3 B t Var 2 String DSP Component HW Component W Partitioned Scheduled Input Model ....

Passerone, J. A. Rowson, and A. SangiovanniVincentelli. Automatic synthesis of interfaces between incompatible protocols. In Proceedings of the International Conference on Computer-Aided Design, pages 437--444, November 1998.

....asynchronously operating communication. In the automaton path the branch is a successor of a trigger. A specification of the exchanged signals by simply tracing the path in an automaton, leads to a specification for synchronous systems. With a synchronous approach for signal exchange according to [82, 76], the synthesis process for an adaptor automaton generates a sequence where the control signal is exchanged after the trigger signal. Here, due to the asynchronous behaviour of the communication channel, the exchange of the control signal can be performed by the channel in time or too late. Thus, ....

....access sequences to get the device into a dedicated state with respect to the entangled automata structure. Again this method can be used for exploration of the device behaviour during the learning on the system. For an automated synthesis of adaptor automata, according to the approaches in [82, 76], a mapping between a sequence of input signals to a sequence of output signals has to be specified. The mappings, and in most cases even the involved signals, and the sequences on the hardware side, are unknown. In this section the derivation of the required signals to force a device into a ....

Roberto Passerone, James Rowson, and Alberto Sangiovanni-Vincentelli. Automatic Synthesis of Interfaces between Incompatible Protocols. In 35th Design Automation Conference, San Francisco, CA USA, 6 1998. ACM, ACM.

....in the form of parameters such as arbitration priorities, block transfer sizes, etc. Choosing appropriate values for these parameters can significantly impact the latency and transfer bandwidth associated with inter component communication. Finally, there is a body of work on interface synthesis [16, 17, 18, 19, 20, 21, 22, 23], which deals with automatically generating efficient hardware implementations for component to bus or component to component interfaces. These techniques address issues in the implementation of specified protocols, and not in the customization of the protocols themselves. In summary, we believe ....

R. Passerone, J. A. Rowson, and A. Sangiovanni-Vincentelli, "Automatic synthesis of interfaces between incompatible protocols," in Proc. Design Automation Conf., pp. 8--13, June 1998.

....and instantiation process in IP based system design ule that is provided as a HDL implementation is currently done through either manual modification of the HDL source or through design or generation of glue logic between IP and system environment in form of a protocol conversion module. [7, 10]. Manual modification of the HDL source is the most straightforward approach but requires detailed knowledge about the implementation of the module, which contradicts IP protection demands. Moreover, in HDL descriptions module behaviour and module communication are more or less intertwined, ....

....task. Alternatively, a set of different interface implementations may be provided with the source code from which one is selected by means of a HDL preprocessor. The disadvantage of this method clearly is that the module interface can only be adapted to a limited number of communication schemes. [7, 10, 6, 2, 1] describe algorithms for automatic generation of protocol conversion modules in form of FSM s that translate between incompatible protocols. The use of a protocol conversion module has the advantage that a modification of the module implementation is not necessary. However, additional hardware is ....

[Article contains additional citation context not shown here]

R. Passerone, J. Rowson, and A. Sangiovanni-Vincentelli. Automatic synthesis of interfaces between incompatible protocols. In Proceedings of DAC, 1998.

No context found.

R. Passerone, J. A. Rowson, and A. L. Sangiovanni-Vincentelli, "Automatic synthesis of interfaces between incompatible protocols," in DAC, (San Francisco, CA), June 1998.

....interfaces, typically specified in the type system of a system description language, may describe the types of values that are exchanged between the components. More expressive interfaces, typically specified informally in design documents, may describe the protocol for the component interaction [1, 2, 3, 4, 5, 6]. In [4, 5] we presented a formal methodology for specifying the protocol aspects of interfaces in a way that supports automatic compatibility checks. The key element of the approach is the interpretation of an interface as a game between a component and its environment, and the use of ....

....are taken from legacy systems or from thirdparty vendors, it is likely that the interface protocols are not compatible. This does not mean though that we are doomed: approaches have been proposed that construct a converter among incompatible communication protocols. We refer the reader to [2] for references and a discussion of related work and for a general overview and description of the problem of protocol conversion. In [2] we proposed to define a protocol as a formal language (a set of strings from an alphabet) and to use automata to finitely represent such languages. The problem ....

[Article contains additional citation context not shown here]

R. Passerone, J. A. Rowson, and A. L. Sangiovanni-Vincentelli, "Automatic synthesis of interfaces between incompatible protocols," in DAC, (San Francisco, CA), June 1998.

No context found.

R.Passerone, J.Rowson, and A.Sangiovanni-Vincentelli. Automatic synthesis of interfaces between incompatible protocols. In Proceedings of the Design Automation Conference, pages 8#13, June 1998. This article was processed using the L a T E X macro package with LLNCS style

....interfaces, typically specified in the type system of a system description language, may describe the types of values that are exchanged between the components. More expressive interfaces, typically specified informally in design documents, may describe the protocol for the component interaction [1, 2, 3, 4, 5, 6]. In [4, 5] we presented a formal methodology for specifying the protocol aspects of interfaces in a way that supports automatic compatibility checks. The key element of the approach is the interpretation of an interface as a game between a component and its environment, and the use of ....

....are taken from legacy systems or from thirdparty vendors, it is likely that the interface protocols are not compatible. This does not mean though that we are doomed: approaches have been proposed that construct a converter among incompatible communication protocols. We refer the reader to [2] for references and a discussion of related work and for a general overview and description of the problem of protocol conversion. In [2] we proposed to define a protocol as a formal language (a set of strings from an alphabet) and to use automata to finitely represent such languages. The problem ....

[Article contains additional citation context not shown here]

R. Passerone, J. A. Rowson, and A. L. Sangiovanni-Vincentelli, "Automatic synthesis of interfaces between incompatible protocols," in DAC, (San Francisco, CA), June 1998.

....resources, synthesizing protocols for the given arbitration schemes, and adding more flexible mode switching. The simulator should be modified so that it could be easily interfaced with other simulators such as [4] and system level design environments such as [3] as well as point tools such as [15, 14] to create a complete real time system design flow. 7. ACKNOWLEDGEMENTS This research was funded in part by the Semiconductor Research Corporation and the MARCO GSRC program. 8. ....

R. Passerone, J. Rowson, and A. Sangiovanni-Vincentelli. Automatic synthesis of interfaces between incompatible protocols. In 35th Design Automation Conference, pages 8--13. ACM, June 1998.

No context found.

R. Passerone, J.A. Rowson, and A.L. Sangiovanni-Vincentelli. Automatic synthesis of interfaces between incompatible protocols. In DAC, pages 8--13, 1998.

No context found.

Roberto Passerone and James A. Rowson. Automatic synthesis of interfaces between incompatible protocols. In DAC '98, 1998.

No context found.

R. Passerone, J.A. Rowson and A. Sangiovanni-Vincentelli, "Automatic Synthesis of Interfaces between Incompatible Protocols," in Proc. DAC, pp. 8-13, Jun. 1998.

No context found.

Passerone, J. A. Rowson, and A. Sangiovanni-Vincentelli. Automatic synthesis of interfaces between incompatible protocols. In Proceedings of the International Conference on Computer-Aided Design, pages 437--444, November 1998.

No context found.

R. Passerone, J. A. Rowson, A. Sangiovanni-Vincentelli, Automatic synthesis of interfaces between incompatible protocols, in: Design Automation Conference (DAC), 1998, pp. 8--13.

No context found.

R. Passerone, J. A. Rowson, and A. Sangiovanni-Vincentelli. Automatic synthesis of interfaces between incompatible protocols. In Design Automation Conference (DAC), pages 8--13, June 1998.

No context found.

R. Passerone, J. Rowson, and A. Sangiovanni-Vincentelli. Automatic synthesis of interfaces between incompatible protocols. In IEEE Design Automation Conference (DAC), 1998.

No context found.

R. Passerone, J. A. Rowson, and A. SangiovanniVincentelli. Automatic synthesis of interfaces between incompatible protocols. In Proc. of the 35th DAC, 1998.

No context found.

R. Passerone, J. Rowson, and A. Sangiovanni-Vincentelli. Automatic synthesis of interfaces between incompatible protocols. In Design Automation Conference, pages 8--13, 1998.

No context found.

Roberto Passerone and James A. Rowson. Automatic synthesis of interfaces between incompatible protocols. In DAC '98, 1998.

No context found.

R. Passerone, J.A. Rowson, A.L. Sangiovanni-Vincentelli. Automatic synthesis of interfaces between incompatible protocols. In Proc. Design Automation Conference, pp. 8--13. ACM Press, 1998.

No context found.

R. Passerone, J. A. Rowson, and A. Sangiovanni-Vincentelli, "Auto- matic synthesis of interfaces between incompatible protocols," in Proc. Design Automation Conf., June 1998, pp. 8--13.

First 50 documents

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC