Article

Free access

Interface-based design

Authors:

James A. Rowson,

Alberto Sangiovanni-VincentelliAuthors Info & Claims

DAC '97: Proceedings of the 34th annual Design Automation Conference

Pages 178 - 183

https://doi.org/10.1145/266021.266060

Published: 13 June 1997 Publication History

Abstract

A new system design methodology is proposed that separates communicationfrom behavior. To demonstrate the methodology weapplied it to a simple ATM design. Since verification is clearly amajor stumbling block for large system design, we focussed on theverification aspects of our methodology.In particular, a simulator was developed that is based on the communicationparadigm typical of our methodology. The simulatorgives substantial performance improvements without sacrificinguser access to detail.Finally, the potential for this methodology to improve verification,modeling and synthesis is explored.

References

[1]

Virtual Socket Interface (VSI) website: http://www.vsi.org

[2]

A. Sangiovanni-Vincentelli, P.C. McGeer, A. Saldanha, "Verification of Electronic Systems," Proc. of 33rd IEEE/ ACM Design Automation Conference, Las Vegas, 1996.

Digital Library

[3]

G. Borriello "A New Interface Specification Methodology and its Application to Transducer Synthesis," University of California Technical Report, UCB/CSD 88/430, 1988.

Digital Library

[4]

C. A. Wood, P. D. Gray, A. C. Kilgour, "Experience with Chisl, a Configurable Hierarchical Interface Specification Language," Computer Graphics Forum, vol. 7, no. 2, pp. 117- 127, 1988.

Digital Library

[5]

A. Seawright, F. Brewer, "Clairvoyant: A Synthesis System for Production-Based Specification," IEEE Trans. on VLSI Systems, vol. 2, pp 172-185, June 1994.

Digital Library

[6]

L. Lavagno, A. Sangiovanni-Vincentelli, H. Hsieh, "Embedded System Co-Design," Hardware~Software Co- Design, pp. 213-242, Kluwer Academic Publishers, 1996.

[7]

J. Oberg, A. Kumar, A. Hemani, "Grammar-based Hardware Synthesis of Data Communication Protocols," presented at the International Symposium on System Synthesis, La Jolla, November 1996.

Digital Library

[8]

S. Vercauteren, B. Lin, H. De Man, "Constructing Application-Specific Heterogeneous Embedded Architectures from Custom HW/SW Applications," Proc. of 33rd IEEE/ ACM Design Automation Conference, Las Vegas, 1996.

Digital Library

[9]

E.A. Lee, D. G. Messerschmitt, "Synchronous Data Flow," IEEE Proceedings, September, 1987.

[10]

P. A. Fishwick, Simulation Model Design and Execution, Prentice Hall, New Jersey, 1995.

Digital Library

[11]

J. T. Buck, S. Ha, E. A. Lee, and D. G. Messerschmitt, "Ptolemy: A Framework for Simulation nd Prototyping Heterogeneous Systems," Int. Journal of Computer Simulation, special issue on "Simulation Software Development," vol. 4, pp. 155-182, April, 1994.

[12]

M. Chiodo, P.Giusto, H. Hsieh, A. Jurecksa, L. Lavagno, and A. Sangiovanni-Vincentelli, "A Formal Methodology for Hardware/Software Codesign of Embedded Systems," IEEE Micro, August 1994.

Digital Library

[13]

C. Coelho Jr, "Analysis and Synthesis of Concurrent Digital Systems Using Control-Flow Expressions," Stanford Technical Report, CSL-TR-96-690, 1996.

Digital Library

[14]

A. Hosseini, D. Mavroidis, P. Konas, "Code Generation and Analysis for the Functional Verification of Microprocessors," Proc. of 33rd IEEE/ACM Design Automation Conference, Las Vegas, 1996.

Digital Library

[15]

Open Microprocessor Initiative web site: http ://www.omimo.be/index.htm

[16]

F. Balarin, H. Hsieh, A. Jureckska, L. Lavagno, A. Sangiovanni-Vincentelli, "Formal Verification of Embedded Systems based on CFSM Networks," Proc. of 33rd IEEE/ ACM Design Automation Conference, Las Vegas, 1996.

Digital Library

Cited By

Kogel T(2022)Virtual Prototyping of Processor-Based PlatformsHandbook of Computer Architecture10.1007/978-981-15-6401-7_44-1(1-41)Online publication date: 27-Jan-2022
https://doi.org/10.1007/978-981-15-6401-7_44-1
Baumann CSchwarz ODam M(2019)On the verification of system-level information flow properties for virtualized execution platformsJournal of Cryptographic Engineering10.1007/s13389-019-00216-4Online publication date: 25-May-2019
https://doi.org/10.1007/s13389-019-00216-4
Hu BHuang KChen GCheng LKnoll AGirault AGuan N(2015)Adaptive runtime shaping for mixed-criticality systemsProceedings of the 12th International Conference on Embedded Software10.5555/2830865.2830867(11-20)Online publication date: 4-Oct-2015
https://dl.acm.org/doi/10.5555/2830865.2830867
Show More Cited By

Index Terms

Interface-based design

Recommendations

Interface timing verification drives system design
DAC '97: Proceedings of the 34th annual Design Automation Conference

System design, i.e. the design of board-level circuits andsystems-on-a-chip, focuses on the integration of off-the-shelf andapplication-specific VLSI components. A key aspect of systemdesign is to ensure the satisfaction of component interface ...
An interface mechanism for encapsulating weaving in class-based AOP
SPLAT '07: Proceedings of the 5th workshop on Software engineering properties of languages and aspect technologies

Aspect-oriented programming (AOP) separates crosscutting concerns from primary concerns. These concerns are woven together by a weaver. Although AOP provides a good module mechanism, it is not necessarily easy for a programmer to understand the overall ...
Assertion-Based Design

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

DAC '97: Proceedings of the 34th annual Design Automation Conference

June 1997

788 pages

ISBN:0897919203

DOI:10.1145/266021

Chairmen:
Ellen J. Yoffa
IBM T. J. Watson Research Center, Yorktown Heights, NY
,
Giovanni De Micheli
Stanford Univ., Stanford, CA
,
Jan M. Rabaey
Univ. of California, Berkeley

Copyright © 1997 ACM.

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]

Sponsors

EDAC: Electronic Design Automation Consortium
SIGDA: ACM Special Interest Group on Design Automation
IEEE-CAS: Circuits & Systems

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 13 June 1997

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

DAC97

Sponsor:

EDAC
SIGDA
IEEE-CAS

DAC97: The 34th Design Automation Conference

June 9 - 13, 1997

California, Anaheim, USA

Acceptance Rates

DAC '97 Paper Acceptance Rate 139 of 400 submissions, 35%;

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

112
Total Citations
View Citations
164
Total Downloads

Downloads (Last 12 months)57
Downloads (Last 6 weeks)7

Reflects downloads up to 16 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Kogel T(2022)Virtual Prototyping of Processor-Based PlatformsHandbook of Computer Architecture10.1007/978-981-15-6401-7_44-1(1-41)Online publication date: 27-Jan-2022
https://doi.org/10.1007/978-981-15-6401-7_44-1
Baumann CSchwarz ODam M(2019)On the verification of system-level information flow properties for virtualized execution platformsJournal of Cryptographic Engineering10.1007/s13389-019-00216-4Online publication date: 25-May-2019
https://doi.org/10.1007/s13389-019-00216-4
Hu BHuang KChen GCheng LKnoll AGirault AGuan N(2015)Adaptive runtime shaping for mixed-criticality systemsProceedings of the 12th International Conference on Embedded Software10.5555/2830865.2830867(11-20)Online publication date: 4-Oct-2015
https://dl.acm.org/doi/10.5555/2830865.2830867
Lo CLi MChen LLu YTsay RHuang HYeh J(2013)Automatic generation of high-speed accurate TLM models for out-of-order pipelined busACM Transactions on Embedded Computing Systems10.1145/2536747.253675913:1s(1-25)Online publication date: 6-Dec-2013
https://dl.acm.org/doi/10.1145/2536747.2536759
Antichi GShahbaz MGiordano SMoore APescapé AFernandes S(2013)From 1G to 10GProceedings of the first edition workshop on High performance and programmable networking10.1145/2465839.2465844(31-38)Online publication date: 18-Jun-2013
https://dl.acm.org/doi/10.1145/2465839.2465844
Koushanfar FSadeghi ASeudie HGroeneveld PSciuto DHassoun S(2012)EDA for secure and dependable cybercarsProceedings of the 49th Annual Design Automation Conference10.1145/2228360.2228402(220-228)Online publication date: 3-Jun-2012
https://dl.acm.org/doi/10.1145/2228360.2228402
Chen SLin HHsieh CHuang CLiou JChung Y(2011)TurboVGProceedings of the 16th Asia and South Pacific Design Automation Conference10.5555/1950815.1950840(97-98)Online publication date: 25-Jan-2011
https://dl.acm.org/doi/10.5555/1950815.1950840
Grüttner KKleen HOppenheimer FRettberg ANebel WGivargis TDonlin A(2010)Towards a synthesis semantics for systemC channelsProceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis10.1145/1878961.1878990(163-172)Online publication date: 24-Oct-2010
https://dl.acm.org/doi/10.1145/1878961.1878990
Abbes FBenamor NAbid MYanguy A(2010)CIG: A CAD tool for IP integration in SoC design5th International Conference on Design & Technology of Integrated Systems in Nanoscale Era10.1109/DTIS.2010.5487577(1-4)Online publication date: Mar-2010
https://doi.org/10.1109/DTIS.2010.5487577
Lee GAhn YLee SSon JYoon KChoi K(2010)Communication architecture design for reconfigurable multimedia SoC platformDesign Automation for Embedded Systems10.1007/s10617-009-9048-014:1(1-20)Online publication date: 1-Mar-2010
https://dl.acm.org/doi/10.1007/s10617-009-9048-0
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

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

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents