Protocol converter synthesis

IEE Proceedings: Computers and Digital Techniques

Volumn 151, Issue 6, 2004, Pages 391-401

  Androutsopoulos, V ^a   Brookes, D M ^a   Clarke, T J W ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTATIONAL GRAMMARS; FINITE AUTOMATA; GRAPH THEORY; LOGIC CIRCUITS; NETWORK PROTOCOLS;

AUTOMATIC SYNTHESIS; GLUE LOGIC; PROTOCOL CONVERTER;

INTERCONNECTION NETWORKS;

EID: 11244252284     PISSN: 13502387     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1049/ip-cdt:20041100     Document Type: Article

References (23)

1. Akella, J., and McMillan, K.: 'Synthesizing converters between finite state protocols'. Presented at the Int. Conf. on Computer-Aided Design, 1991
2. Passerone, R., Rowson, J., and Sanglovanni-Vincentelli, A.: 'Automatic synthesis of interfaces between incompatible protocols'. Presented at the 35th Annual Conf. on Design Automation, 1998
3. Passerone, R.: 'Automatic synthesis of interfaces between incompatible protocols' (University of California, Berkeley, 1998)
4. Seawright, A., and Brewer, F.: 'Clairvoyant: a synthesis system for production based specification', IEEE Trans. Very Large Scale Integr. (VLSI) Syst., 1994, 2, pp. 172-185
5. Oberg, J., Kumar, A., and Hemani, A.: 'Grammar-based hardware synthesis from port size independent specifications', IEEE Trans. Very Large Scale Integr. (VLSI) Syst., 2000, 8, (2), pp. 184-194
6. Siegmund, R., and Müller, D.: 'A novel synthesis technique for communication controller hardware from declarative data communication protocol specifications'. Presented at the 39th Conf. on Design Automation, 2002
7. Hopcroft, J.E., Motwani, R., and Ullman, J.D.: 'Introduction to automata theory, languages and computation' (Addison Wesley, 2001)
8. Seawright, A., Holtmann, U., Meyer, W., Pangrle, B., Verbrugghe, R., and Buck, J.: 'A system for compiling and debugging structured data processing controllers'. Proc. EuroDAC'96, Geneva, Switzerland, September 1996
9. Synopsys Incorporated: 'The synopsys protocol compiler's reference manual', 1998
10. Hemani, A., Kumar Deb, A., Oberg, J., Postula, A., Lindqvist, D., and Fjellborg, B.: 'System level virtual prototyping of DSP SOCs using grammar based approach', Des. Autom. Embedded Syst., 2000, 5 (3), pp. 295-311
11. Oberg, J., O'Nils, M., Jantsch, A., Postula, A., and Hemani, A.: 'Grammar-based design of embedded systems', J. Syst. Archit., 2001, VI 47, pp. 225-240
12. Kumar Deb, A., Oberg, J., and Jantsch, A.: 'Control and communication performance analysis of embedded DSP systems in the MASIC methodology'. Proc. 14th Int. Symp. on System Synthesis (ISSS 2001), Montreal, Canada, October 2001, pp. 274-279
13. Borriello, G., and Katz, R.H.: 'Synthesis and optimization of interface transducer logic'. Presented at the Int. Conf. on Computer-Aided Design, 1987
14. Passerone, R., De Alfaro, L., Henzinger, T.A., and Sangiovanni-Vincentelli, A.L.: 'Convertibility verification and converter synthesis: two faces of the same coin'. Presented at the IEEE/ ACM Int. Conf. on Computer-Aided Design, 2002
15. de Alfaro, L., and Henzinger, T.A.: 'Interface theories for component-based design', Lect. Notes Comput. Sci., 2001, pp. 148-165
16. de Alfaro, L., and Henzinger, T.A.: 'Interface Automata'. Proc. 9th Annual Symp. on Foundations of Software Engineering, 2001, pp. 109-120
17. Filo, D., Ku, D.C., Coelho, C.N., and De Micheli, G.: 'Interface optimization for concurrent systems under timing constraints', IEEE Trans. Very Large Scale Integr. (VLSI) Syst., 1993, 1, (3), pp. 268-281
18. Madsen, J., and Hald, B.: 'An approach to interface synthesis'. Proc. 8th Int. Symp. on System Synthesis (ISSS), September 1995, pp. 16-21
19. Coussy, P., Baganne, A., and Martin, E.: 'A design methodology for IP integration'. Presented at the IEEE Int. Symp. on Circuits & Systems (ISCAS), Scottsdale, AZ, USA, May 2002
20. Dasdan, A., Irani, S.S., and Gupta, R.K.: 'Efficient algorithms for optimum cycle mean and optimum cost to time ratio problems'. Presented at the 36th ACM/IEEE Conf. on Design Automation, 1999
21. Karp, R.M.: 'A characterisation of the minimum cycle mean in a digraph', Discrete Math., 1978, 23, pp. 309-311
22. Connen, T., Leiserson, C., and Rivest, R.: 'Introduction to Algorithms' (MIT Press, Cambridge, MA, 2001)
23. Androutsopoulos, V., Clarke, T.J.W., and Brookes, M.: 'Synthesis and optimisation of interfaces between hardware modules with incompatible protocols'. Presented at the IEEE Int. Symp. on Circuits & Systems (ISCAS), Bangkok, Thailand, May 2003