Protocol transducer synthesis using divide and conquer approach

Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC

Volumn , Issue , 2007, Pages 280-285

  Watanabe, Shota ^a   Seto, Kenshu ^a   Ishikawa, Yuji ^a   Komatsu, Satoshi ^a   Fujita, Masahiro ^a  

^a UNIVERSITY OF TOKYO   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION PROTOCOLS; COMPLEX PROTOCOLS; DESIGN AUTOMATION CONFERENCE (DAC); DESIGN METHODOLOGIES; DIVIDE-AND-CONQUER (DAC); LARGE SCALES; NON-BLOCKING; OUT OF ORDER; PROTOCOL CONVERSION; SOUTH PACIFIC; SYNTHESIS (OF CHIRAL IONIC LIQUIDS);

COMMUNICATION; COMPLEXATION; COMPUTER AIDED DESIGN; DIGITAL INTEGRATED CIRCUITS; ELECTRON BEAM LITHOGRAPHY; INDUSTRIAL ENGINEERING; INTEGRATED CIRCUITS; KETONES; LARGE SCALE SYSTEMS; MECHANIZATION; REUSABILITY; SYSTEMS ENGINEERING; TRANSDUCERS;

INTERNET PROTOCOLS;

EID: 46649104959     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASPDAC.2007.357999     Document Type: Conference Paper

References (12)

1. Open Core Protocol Specification version 2.1
2. AMBA 3 AXI Specification v.1.0
3. AMBA 2 AHB Specification Rev.2.0
4. R.Passerone, J.A.Rowson, A.Sangoivannni-Vincentelli, "Automatic Synthesis of Interfaces between Incompatible Protocols", Proc. of the 35th. Design Automation Conference, pp.8-13, 1998
5. Daniel D. Gajski, Allen C.-H. Wu, Viraphol Chaiyakul, Shojiro Mori, Tom Nukiyama, Pierre Bricaud, "Essential Issues for IP Reuse", Proc. of ASP-DAC, pp.43-48, 2000
6. Vijay D'silva, S. Ramesh, Arcot Sowmya, "Bridge Over Troubled Wrappers : Automated Interface Synthesis", 17th International Conference on VLSI Design, p. 189, 2004
7. Abhik Roychoudhury, P.S.Thiagarajan, Tuan-Anh Tran, Vera A. Zvereva, "Automatic Generation of Protocol Converters from ScenarioBased Specifications", RTSS'04, pp.447-458
8. J. Smith and G. De Micheli, "Automated Composition of Hardware Components", Proc. of Design Automation Conference, 1998.
9. F. Gharsalli, S. Meftali, F. Rousseau, and A. A. Jerraya, "Automatic generation of embedded memory wrapper for multiprocessor SoC", Proc. of the 39th Design Automation Conference, June 2002.
10. Drew Wingard. "MicroNetwork-based integration of SOCs.", Proc. of the 38th Design Automation Conference, June 2001.
11. A.Grasset, F.Rousseau, A. A.Jerraya, "Automatic Generation of Component Wrappers by Composition of Hardware Library Elements Starting from Communication Service Specification", The 16th IEEE International Workshop of Rapid System Prototyping, pp.47-53, 2005
12. Y.Kakiuchi, A.Kitajima, K.Hamaguchi, T.Kashiwabara "Behavioral Model Construction for Formal Verification of Advanced On-Chip Bus Protocol", The Workshop on Synthesis And System Integration of Mixed Information technologies, pp.282-289, 2004