Article

Free access

Interfacing incompatible protocols using interface process generation

Authors:

Sanjiv Narayan,

Daniel D. GajskiAuthors Info & Claims

DAC '95: Proceedings of the 32nd annual ACM/IEEE Design Automation Conference

Pages 468 - 473

https://doi.org/10.1145/217474.217572

Published: 01 January 1995 Publication History

PDF eReader

References

[1]

G. Borriello and R. Katz, "Synthesis and optimization of interface transducer logic," in Proc. of the ICCAD, 1987.

Google Scholar

[2]

G. Borriello, A New Interface Specification Methodology and its Applications to Transducer Synthesis. PhD thesis, Univ. of California, Berkeley, 1988.

Digital Library

Google Scholar

[3]

J. Akella and K. McMillan, "Synthesizing converters between finite state protocols," in Proc. of the ICCD, 1991.

Digital Library

Google Scholar

[4]

J. akella, I/O Performance Modeling and Interface Synthesis in Concurrently Communicating Systems. PhD thesis, Carnegie Mellon Univ., 1991.

Digital Library

Google Scholar

[5]

J. Sun and R. Brodersen, "Design of system interface modules," in Proc. of the ICCAD, 1992.

Digital Library

Google Scholar

[6]

J. Sun, M. Srivastava, and R. Brodersen, "SIERA: A CAD environment for real-time systems," in 3rd Physical Design Workshop, 1991.

Google Scholar

[7]

D. Gajski, F. Vahid, and S. Narayan, "A systemdesign methodology: Executable-specification refinement," in Proc. of European Design ~ Test Conf. 1994.

Google Scholar

[8]

"RSP Engineering Report." Rockwell Intl., 1991.

Google Scholar

Cited By

View all

Demrozi FPravadelli GStefanni F(2016)Automatic generation of self-adaptive transactors from PSL assertions2016 Forum on Specification and Design Languages (FDL)10.1109/FDL.2016.7880370(1-7)Online publication date: Sep-2016
https://doi.org/10.1109/FDL.2016.7880370
Sinha RGirault AGoessler GRoop P(2014)A Formal Approach to Incremental Converter Synthesis for System-on-Chip DesignACM Transactions on Design Automation of Electronic Systems10.1145/266334420:1(1-30)Online publication date: 18-Nov-2014
https://dl.acm.org/doi/10.1145/2663344
Sinha RRoop PBasu SSinha RRoop PBasu S(2013)Related Work and OutlookCorrect-by-Construction Approaches for SoC Design10.1007/978-1-4614-7864-5_7(107-119)Online publication date: 19-Jul-2013
https://doi.org/10.1007/978-1-4614-7864-5_7
Show More Cited By

Index Terms

Interfacing incompatible protocols using interface process generation
1. Hardware
  1. Communication hardware, interfaces and storage
  2. Integrated circuits
    1. Interconnect
2. Networks
  1. Network protocols

Recommendations

A Dialog-Oriented User Interface Generation Mechanism
APSEC '96: Proceedings of the Third Asia-Pacific Software Engineering Conference

Nowadays, for GUI application development, there are a number of interface builders, which make it possible for the user to create user interfaces easily, and UIMSs, which help to specify and design user interfaces. However, interface builders lack the ...
A second generation user interface design environment: the model and the runtime architecture
CHI '93: Proceedings of the INTERACT '93 and CHI '93 Conference on Human Factors in Computing Systems

Several obstacles exist in the user interface design process which distract a developer from designing a good user interface. One of the problems is the lack of an application model to keep the designer in perspective with the application. The other ...
User interface description languages for next generation user interfaces
CHI EA '08: CHI '08 Extended Abstracts on Human Factors in Computing Systems

In recent years HCI researchers have developed a broad range of new interfaces that diverge from the "window, icon, menu, pointing device" (WIMP) paradigm, employing a variety of novel interaction techniques and devices. Developers of these next ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

DAC '95: Proceedings of the 32nd annual ACM/IEEE Design Automation Conference

January 1995

760 pages

ISBN:0897917251

DOI:10.1145/217474

Chairman:
Bryan T. Preas
Xerox Parc, Palo Alto, CA

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 January 1995

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

DAC95

Sponsor:

EDAC
SIGDA

DAC95: The 32nd Design Automation Conference

June 12 - 16, 1995

California, San Francisco, USA

Acceptance Rates

Overall Acceptance Rate 1,770 of 5,499 submissions, 32%

Upcoming Conference

DAC '25

Sponsor:
sigda

62nd ACM/IEEE Design Automation Conference

June 22 - 26, 2025

San Francisco , CA , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

41
Total Citations
View Citations
275
Total Downloads

Downloads (Last 12 months)26
Downloads (Last 6 weeks)1

Reflects downloads up to 22 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Demrozi FPravadelli GStefanni F(2016)Automatic generation of self-adaptive transactors from PSL assertions2016 Forum on Specification and Design Languages (FDL)10.1109/FDL.2016.7880370(1-7)Online publication date: Sep-2016
Sinha RGirault AGoessler GRoop P(2014)A Formal Approach to Incremental Converter Synthesis for System-on-Chip DesignACM Transactions on Design Automation of Electronic Systems10.1145/266334420:1(1-30)Online publication date: 18-Nov-2014
Sinha RRoop PBasu SSinha RRoop PBasu S(2013)Related Work and OutlookCorrect-by-Construction Approaches for SoC Design10.1007/978-1-4614-7864-5_7(107-119)Online publication date: 19-Jul-2013
Boutekkouk FTolba ZOkab M(2011)Automatic Interface Generation between Incompatible Intellectual Properties (IPs) from UML ModelsAdvances in Computing and Communications10.1007/978-3-642-22714-1_5(40-47)Online publication date: 2011
Obrizan V(2010)A method for automatic generation of an RTL-interface from a C++ descriptionProceedings of the 2010 East-West Design & Test Symposium10.1109/EWDTS.2010.5742152(186-189)Online publication date: 17-Sep-2010
Zitouni AAbid MTorki KTourki R(2010)Communication synthesis techniques for multiprocessor systemsInternational Journal of Electronics10.1080/0020721011010033989:1(55-76)Online publication date: 11-Nov-2010
Avnit KD'silva VSowmya ARamesh SParameswaran S(2009)Provably correct on-chip communicationACM Transactions on Design Automation of Electronic Systems10.1145/1497561.149756214:2(1-41)Online publication date: 7-Apr-2009
Roychoudhury A(2009)Embedded Systems and Software ValidationundefinedOnline publication date: 12-Jun-2009
Avnit KD'Silva VSowmya ARamesh SParameswaran SSciuto D(2008)A formal approach to the protocol converter problemProceedings of the conference on Design, automation and test in Europe10.1145/1403375.1403447(294-299)Online publication date: 10-Mar-2008
Bombieri NDeganello NFummi FSciuto D(2008)Integrating RTL IPs into TLM designs through automatic transactor generationProceedings of the conference on Design, automation and test in Europe10.1145/1403375.1403382(15-20)Online publication date: 10-Mar-2008
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

A Dialog-Oriented User Interface Generation Mechanism

A second generation user interface design environment: the model and the runtime architecture

User interface description languages for next generation user interfaces