Roberto Passerone, James A. Rowson, Alberto  Home/Search
Context Related
Links: ACM DBLP | berkeley.edu/Respep/Researc...pig.ps.gz berkeley.edu/~polis/class/e...pig.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: berkeley.edu/Respep...publication (more) From: berkeley.edu/~polis...publication (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: At the system level, reusable Intellectual Property (or IP) blocks can be represented abstractly as blocks that exchange messages. The concrete implementations of these IP blocks must exchange the messages through complex signaling protocols. Interfacing between IP that use different signaling protocols is a tedious and error prone design task. We propose using regular expression based protocol descriptions to show how to map the message onto a signaling protocol. Given two protocols, an... (Update)
Cited by: More
A Comparative Study - Dirk Beyer Thomas (2006) (Correct)
Annotated Data Type Declarations for Bus Interface Synthesis - Gordon Cichon Institute (2000) (Correct)
System Design for DSP Applications in Transaction Level.. - Deb, Jantsch, Öberg (2004) (Correct)
Similar documents (at the sentence level):
66.8%: Automatic Synthesis of Interfaces between.. - Passerone, Rowson.. (1998) (Correct)
Active bibliography (related documents): More All
0.3: Challenges and Opportunities in Broadband and.. - Rabaey.. (2000) (Correct)
0.3: ProGram: A Grammar-Based Method for Specification and Hardware.. - Öberg (1999) (Correct)
0.2: An Approach To Specification And Synthesis Of Adaptive.. - Siegmund, Mueller (Correct)
Similar documents based on text: More All
0.2: Convertibility Verification and Converter.. - Passerone, de.. (2002) (Correct)
0.2: Modeling Reactive Systems in Java - Roberto Passerone Claudio (1997) (Correct)
0.1: Modeling Techniques in Design-by-Refinement Methodologies - Burch, Passerone, al. (2002) (Correct)
Related documents from co-citation: More All
13: Automated composition of hardware components - Smith, De Micheli - 1998
11: Interfacing incompatible protocols using interface process generation (context) - Narayan, Gajski - 1995
11: Interface-based design (context) - Rowson, Sangiovanni-Vincentelli - 1997
BibTeX entry: (Update)
R. Passerone. Automatic Synthesis of Interfaces between Incompatible Protocols. M.S. Thesis, University of California at Berkeley, 1997. http://citeseer.ist.psu.edu/passerone97automatic.html More
@inproceedings{ passerone98automatic,
author = "Roberto Passerone and James A. Rowson and Alberto L. Sangiovanni-Vincentelli",
title = "Automatic Synthesis of Interfaces Between Incompatible Protocols",
booktitle = "Design Automation Conference",
pages = "8-13",
year = "1998",
url = "citeseer.ist.psu.edu/passerone97automatic.html" }
Citations (may not include all citations):1911 Introduction to Automata Theory (context) - Hopcroft, Ullman - 1986
866 Techniques and Tools (context) - Aho, Sethi et al. - 1988
66 Derivatives of regular expressions (context) - Brzozowski - 1964 ACM DBLP
36 Automatic Synthesis of Interfaces between Incompatible Proto.. - Passerone - 1997
33 Synthesis and optimization of interface transducer logic (context) - Borriello, Katz - 1987
30 A New Interface Specification Methodology and its Applicatio.. (context) - Borriello - 1988
25 Interfacing incompatible protocols using interface process g.. (context) - Narayan, Gajski - 1995
19 Design of system interface modules (context) - Sun, Brodersen - 1992
18 Grammar-based hardware synthesis of data communication proto.. (context) - Oberg, Kumar et al. - 1996
15 Analysis and synthesis of concurrent digital circuits using .. (context) - Coelho, Micheli - 1996
12 Clairvoyant: A synthesis system for production-based specifi.. (context) - Seawright, Brewer - 1994
6 Synthesizing converters between finite state protocols (context) - Akella, McMillan - 1991 ACM DBLP
3 Sangiovanni-Vincentelli (context) - Rowson - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-cad.eecs.berkeley.edu/Respep/Research/hsc/class/ee249/publication.html): More
Models of Computation for Embedded System Design - Lavagno.. (1998) (Correct)
Models and Methods for HW/SW Intellectual Property.. - Ortega, Lavagno, Borriello (1998) (Correct)
Design of Embedded Systems: Formal Models.. - Edwards, Lavagno.. (1997) (Correct)
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