Interface synthesis

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Interface synthesis: a vertical slice from digital logic to software components

Full text

Pdf (337 KB)

Source

International Conference on Computer Aided Design archive
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design table of contents

San Jose, California, United States

Pages: 693 - 695

Year of Publication: 1998

ISBN:1-58113-008-2

Authors

Gaetano Borriello	Dep't of Computer Science & Engineering, University of Washington, Seattle, WA
Luciano Lavagno	Dipartimento di Elettronica, Politecnico di Torino, Torino 10129 Italia
Ross B. Ortega	Dep't of Computing & Software Systems, University of Washington, Bothell, WA

Sponsors

SIGDA: ACM Special Interest Group on Design Automation
IEEE-CS : Computer Society
IEEE-EDS : Electronic Devices Society
IEEE-CAS : Circuits & Systems

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 16, Citation Count: 3

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/288548.289119 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Krzysztof Bilinski , Erik L. Dagless, High Level Synthesis of Synchronous Parallel Controllers, Proceedings of the 17th International Conference on Application and Theory of Petri Nets, p.93-112, June 24-28, 1996
	2	Andrew D. Birrell , Bruce Jay Nelson, Implementing remote procedure calls, ACM Transactions on Computer Systems (TOCS), v.2 n.1, p.39-59, February 1984 [doi>10.1145/2080.357392]
	3	I. Bolsens, H. DeMan, B. Lin, K. Van Rompaey, S. Vercauteren, D. Verkest. Hardware/software co-design of digital telecommunication systems. In Proceedings of the IEEE, 85(3):391-418, March 1997.
	4	G. Borriello. Specification and synthesis of interface logic, in R. Camposano and W. Wolf, editors, Highlevel VLSI Synthesis, pages 153-176. Kluwer Academic Publishers, Dordrecht, Netherlands, 1991.
	5	Massimiliano Chiodo , Daniel Engels , Paolo Giusto , Harry Hsieh , Attila Jurecska , Luciano Lavagno , Kei Suzuki , Alberto Sangiovanni-Vincentelli, A case study in computer-aided co-design of embedded controllers, Design Automation for Embedded Systems, v.1 n.1-2, p.51-67, Jan. 1996 [doi>10.1007/BF00134683]
	6	Pai Chou , Ken Hines , Kurt Partidge , Gaetano Borriello, Control generation for embedded systems based on composition of modal processes, Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design, p.46-53, November 08-12, 1998, San Jose, California, United States [doi>10.1145/288548.288559]
	7	Pai Chou , Ross Ortega , Gaetano Borriello, Synthesis fo the hardware/software interface in microcontroller-based systems, Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design, p.488-495, November 1992, Santa Clara, California, United States
	8	Pai Chou , Ross B. Ortega , Gaetano Borriello, Interface co-synthesis techniques for embedded systems, Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design, p.280-287, November 05-09, 1995, San Jose, California, United States
	9	Jean-Marc Daveau , Gilberto Fernandes Marchioro , Tarek Ben-Ismail , Ahmed Amine Jerraya, Protocol selection and interface generation for HW-SW codesign, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, v.5 n.1, p.136-144, March 1997 [doi>10.1109/92.555993]
	10	Michael Eisenring , Jürgen Teich, Domain-specific interface generation from dataflow specifications, Proceedings of the 6th international workshop on Hardware/software codesign, p.43-47, March 15-18, 1998, Seattle, Washington, United States
	11	D. Filo, D. Ku, C. Coelho, G. De Micheli. Interface optimization for concurrent systems under timing constraints. IEEE Tranactions on Very Large Scale Integration, I(3): 268-281, September 1993.
	12	Franz Fischer , Annette Muth , Georg Fäber, Towards interprocess communication and interface synthesis for a heterogeneous real-time rapid prototyping environment, Proceedings of the 6th international workshop on Hardware/software codesign, p.35-39, March 15-18, 1998, Seattle, Washington, United States
	13	Laurent Freund , Denis Dupont , Michel Israel , Frederic Rousseau, Interface Optimization During Hardware-Software Partitioning, Proceedings of the 5th International Workshop on Hardware/Software Co-Design, p.75, March 24-26, 1997
	14	Ken Hines , Gaetano Borriello, Dynamic communication models in embedded system co-simulation, Proceedings of the 34th annual conference on Design automation, p.395-400, June 09-13, 1997, Anaheim, California, United States [doi>10.1145/266021.266178]
	15	C. A. R. Hoare, Communicating sequential processes, Prentice-Hall, Inc., Upper Saddle River, NJ, 1985
	16	D. C. R. Jensen , J. Madsen , S. Pedersen, The importance of interfaces: a HW/SW codesign case study, Proceedings of the 5th International Workshop on Hardware/Software Co-Design, p.87, March 24-26, 1997
	17	Bill Lin , Steven Vercauteren, Synthesis of concurrent system interface modules with automatic protocol conversion generation, Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design, p.101-108, November 06-10, 1994, San Jose, California, United States
	18	Jan Madsen , Bjarne Hald, An approach to interface synthesis, Proceedings of the 8th international symposium on System synthesis, p.16-21, September 13-15, 1995, Cannes, France [doi>10.1145/224486.224490]
	19	Ross B. Ortega , Luciano Lavagno , Gaetano Borriello, Models and methods for HW/SW intellectual property interfacing, System-level synthesis, Kluwer Academic Publishers, Norwell, MA, 1999
	20	Ross B. Ortega , Gaetano Borriello, Communication synthesis for distributed embedded systems, Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design, p.437-444, November 08-12, 1998, San Jose, California, United States [doi>10.1145/288548.289067]
	21	Roberto Passerone , James A. Rowson , Alberto Sangiovanni-Vincentelli, Automatic synthesis of interfaces between incompatible protocols, Proceedings of the 35th annual conference on Design automation, p.8-13, June 15-19, 1998, San Francisco, California, United States [doi>10.1145/277044.277047]
	22	James A. Rowson , Alberto Sangiovanni-Vincentelli, Interface-based design, Proceedings of the 34th annual conference on Design automation, p.178-183, June 09-13, 1997, Anaheim, California, United States [doi>10.1145/266021.266060]
	23	A. Seawright , J. Buck , U. Holtmann , W. Meyer , B. Pangrle , R. Verbrugghe, A system for compiling and debugging structured data processing controllers, Proceedings of the conference on European design automation, p.86-91, September 1996, Geneva, Switzerland
	24	Andrew Seawright , Wolfgang Meyer, Partitioning and optimizing controllers synthesized from hierarchical high-level descriptions, Proceedings of the 35th annual conference on Design automation, p.770-775, June 15-19, 1998, San Francisco, California, United States [doi>10.1145/277044.277239]
	25	M. Srivastave, R. Brodersen. SIERA: a unified framework for rapid prototyping of system-level hardware and software. IEEE Transactions on Computer-Aided Design 14(6): 676-693, June 1993.
	26	Jane S. Sun , Robert W. Brodersen, Design of system interface modules, Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design, p.478-481, November 1992, Santa Clara, California, United States
	27	B. Upender and P. Koopman Jr. Communication protocols for embedded systems. Embedded Systems Programming, 7(11):46-58, November 1994.
	28	Frank Vahid , Linus Tauro, An Object-Oriented Communication Library for Hardware-Software CoDesign, Proceedings of the 5th International Workshop on Hardware/Software Co-Design, p.81, March 24-26, 1997
	29	Vh'tual Socket Interface Alliance (VSI). URL: www.vsi.or~
	30	Ti-Yen Yen , Wayne Wolf, Communication synthesis for distributed embedded systems, Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design, p.288-294, November 05-09, 1995, San Jose, California, United States

CITED BY 3

	Hansu Cho , Samar Abdi , Daniel Gajski, Interface synthesis for heterogeneous multi-core systems from transaction level models, ACM SIGPLAN Notices, v.42 n.7, July 2007
	Vijay D'silva , S. Ramesh , Arcot Sowmya, Synchronous Protocol Automata: A Framework for Modelling and Verification of SoC Communication Architectures, Proceedings of the conference on Design, automation and test in Europe, p.10390, February 16-20, 2004
	Robertas Damaševičius , Vytautas Štuikys, Wrapping of Soft IPs for Interface-based Design Using Heterogeneous Metaprogramming, Informatica, v.14 n.1, p.3-18, January 2003