Automatic synthesis of interfaces between incompatible protocols

Proceedings - Design Automation Conference

Volumn , Issue , 1998, Pages 8-13

  Passerone, Roberto ^a   Rowson, James A ^b   Sangiovanni Vincentelli, Alberto ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b ALTA Group of Cadence Design System   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; MAMMALS; PATTERN MATCHING; ALGORITHMS; AUTOMATION; COMPUTER SOFTWARE; DATA COMMUNICATION SYSTEMS; NETWORK PROTOCOLS;

AUTOMATIC SYNTHESIS; DESIGN TASKS; ERROR PRONES; PROTOCOL DESCRIPTION; REGULAR EXPRESSIONS; SIGNALING PROTOCOL; SYSTEM LEVELS;

INTERNET PROTOCOLS; INTERFACES (COMPUTER);

SOFTWARE PACKAGE PIG;

EID: 0031622883     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/277044.277047     Document Type: Conference Paper

References (13)

1. References A. V. Aho, R. Sethi, and J. D. Ullman. Compilers Principles, Techniques and Tools. Addison-Wesley, Reading, MA, 1988.
2. J. Akella and K. McMillan. Synthesizing converters between finite state protocols. In Proceedings of the International Conference on Computer Design, pages 410-413, Cambridge, MA, October 14 - 15 1991.
3. G. Borriello. A New Interface Specification Methodology and its Applications to Transducer Synthesis. PhD thesis, University of California at Berkeley, Berkeley CA, 1988.
4. G. Borriello and R. H. Kata. Synthesis and optimization of interface transducer logic. In Proceedings of the International Conference on Conputer Aided Design, November 1987.
5. J. A. Braozowski. Derivatives of regular expressions. Journal of the Association for Computing Machinery, 11(4):481- 494, October 1964.
6. C. N. Coelho and G. D. Micheli. Analysis and synthesis of concurrent digital circuits using control-flow expressions. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 15(8):854-876, August 1996.
7. J. E. Hopcroft and J. D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading, MA, 1986.
8. S. Narayan and D. D. Gajski. Interfacing incompatible protocols using interface process generation. In Proceedings of the 32nd Design Automation Conference, pages 468-473, San Francisco, CA, June 12 - 16 1995.
9. J. Oberg, A. Kumar, and A. Hemani. Grammar-based hardware synthesis of data communication protocols. In Proceedings of the gth International Symposium on System Synthesis, pages 14-19, La Jolla, CA, November 6 - 8 1996.
10. R. Passerone. Automatic Synthesis of Interfaces between Incompatible Protocols. M.S. Thesis, University of California at Berkeley, 1997.
11. J. A. Rowson and A. L. Sangiovanni-Vincentelli. Interfacebased design. In Proceedings of the 34th Design Automation Conference, pages 178-183, Anaheim, CA, June 9 - 13 1997.
12. A. Seawright and F. Brewer. Clairvoyant: A synthesis system for production-based specification. IEEE Transactions on VLSI Systems, 2:172-185, June 1994.
13. J. S. Sun and R. W. Brodersen. Design of system interface modules. In Proceedings of International Conference on Computer Aided Design, pages 478-481, 1992.