chapter

Hardware-software codesign of embedded systems

Authors:

Alberto Sangiovanni-Vincentelli,

Luciano LavagnoAuthors Info & Claims

Readings in hardware/software co-design

June 2001

Pages 313 - 323

Published: 01 June 2001 Publication History

Abstract

Designers generally implement embedded controllers for reactive real-time applications as mixed software-hardware systems. In our formal methodology for specifying, modeling, automatically synthesizing and verifying such systems, design takes place within a unified framework that prejudices neither hardware nor software implementation. After interactive partitioning, this approach automatically synthesizes the entire design, including hardware-software interfaces. Maintaining a finite-state machine model throughout, it preserves the formal properties of the design. It also allows verification of both specification and implementation, as well as the use of specification refinement through formal verification.

References

[1]

R.P. Kurshan, "Analysis of Discrete Event Coordination," Lecture Notes in Computer Science, J.W. de Bakker, W.P. de Roever, and G. Rozenberg, eds., Springer-Verlag, Berlin, Heidelberg, Germany, 1990, pp. 414-453.

Digital Library

Google Scholar

[2]

A. Benveniste and G. Berry, "The Synchronous Approach to Reactive and Real-Time Systems," Proc. IEEE, Vol. 79, No, 9, IEEE, Piscataway, N.J., 1991, pp. 1270-1282.

Google Scholar

[3]

D. Druzinski and D. Har'el, "Using Statecharts for Hardware Description and Synthesis" IEEE Trans. Computer-Aided Design, Vol. 8, No. 7, 1989, pp. 798-807.

Digital Library

Google Scholar

[4]

N. Woo, A. Dunlop, and W. Wolf, "Codesign from Cospecification," Computer, Vol. 27, No. 1, Jan. 1994, pp. 42-47.

Digital Library

Google Scholar

[5]

R.K. Gupta, C.N. Coelho, Jr., and G. DeMicheli, "Program Implementation Schemes for Hardware-Software Systems." Computer, Vol. 27, No. 1, Jan. 1994, pp. 48-55.

Digital Library

Google Scholar

[6]

P. Chou, R. Ortega, and G. Borriello, "Synthesis of Hardware/Software Interface in Microcontroller-Based Systems," Proc. Int'l Conf. Computer-Aided Design, IEEE Computer Society Press, Los Alamitos, Calif., 1992, pp. 488-495.

Digital Library

Google Scholar

[7]

M.C. McFarland, T.J. Kowalski, and M.J. Peman, "Language and Formal Semantics of the Specification System CPA," Proc. Int'l Workshop Hardware-Software Codesign, CS Press, 1991, pp. 342-345.

Google Scholar

[8]

N. Halbwachs et al., "The Synchronous Data Flow Programming Language LUSTRE," Proc. IEEE, Vol. 79, No. 9, IEEE, Sept. 1991, pp. 1305-1320.

Google Scholar

[9]

W. Wolf et al., "The Princeton University Behavioral Synthesis System, Proc. 29th ACM/IEEE Design Automation Conf, Assn. Computing Machinery, June 1992, pp. 182-187.

Digital Library

Google Scholar

[10]

M. Chiodo et al., "A Formal Specification Model for Hardware/Software Codesign," Tech. Report UCS/ERL M93/48, University of California at Berkeley, Berkeley, Calif., June 1993.

Digital Library

Google Scholar

[11]

W. Baker, "Application of the Synchronous/Reactive Model to the VHDL Language." Tech. Report, UCB/ERL-93-10, U.C. Berkeley, 1993.

Digital Library

Google Scholar

[12]

E. M. Sentovich et al., "Sequential Circuit Design Using Synthesis and Optimization," Proc. Int'l Cont. Computer Design, CS Press, Oct. 1992, pp. 328-333.

Digital Library

Google Scholar

[13]

A.V. Aho, R. Sethi, and J.D. UlIman, Compilers, Principles, Techniques, and Tools, AddisonWesley, Reading, Mass., 1988.

Digital Library

Google Scholar

[14]

R. Alur, C. Courcoubetis, and D. Dill, "Model-Checking in Dense Real Time," Information and Computation, Vol. 104, No. 1, May 1993, pp. 2-34.

Digital Library

Google Scholar

Cited By

View all

Graf SGlaß MWintermann DTeich JLauer CMarculescu RPanda P(2013)IVaMProceedings of the Ninth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis10.5555/2555692.2555716(1-10)Online publication date: 29-Sep-2013
https://dl.acm.org/doi/10.5555/2555692.2555716
Schirner GGerstlauer ADömer RLin Y(2010)System-level development of embedded softwareProceedings of the 2010 Asia and South Pacific Design Automation Conference10.5555/1899721.1899927(903-909)Online publication date: 18-Jan-2010
https://dl.acm.org/doi/10.5555/1899721.1899927
Densmore DSimalatsar ADavare APasserone RSangiovanni-Vincentelli ABenini LDe Micheli GAl-Hashimi BMueller W(2009)UMTS MPSoC design evaluation using a system level design frameworkProceedings of the Conference on Design, Automation and Test in Europe10.5555/1874620.1874738(478-483)Online publication date: 20-Apr-2009
https://dl.acm.org/doi/10.5555/1874620.1874738
Show More Cited By

Index Terms

Hardware-software codesign of embedded systems

Recommendations

Hardware-Software Codesign of Embedded Systems

Designers generally implement embedded controllers for reactive real-time applications as mixed software-hardware systems. In our formal methodology for specifying, modeling, automatically synthesizing, and verifying such systems, design takes place ...
Co-Synthesis of Hardware and Software for Digital Embedded Systems
System-level codesign of mixed hardware-software systems

Comments

Information & Contributors

Information

Published In

Readings in hardware/software co-design

June 2001

800 pages

ISBN:1558607021

Editors:
Giovanni De Micheli
Stanford Univ., Stanford, CA
,
Rolf Ernst
Technical Univ. of Braunschweig, Braunschweig, Germany
,
Wayne Wolf
Princeton Univ., Princeton, NJ

Publisher

Kluwer Academic Publishers

United States

Publication History

Published: 01 June 2001

Qualifiers

Chapter

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

14
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 06 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Graf SGlaß MWintermann DTeich JLauer CMarculescu RPanda P(2013)IVaMProceedings of the Ninth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis10.5555/2555692.2555716(1-10)Online publication date: 29-Sep-2013
Schirner GGerstlauer ADömer RLin Y(2010)System-level development of embedded softwareProceedings of the 2010 Asia and South Pacific Design Automation Conference10.5555/1899721.1899927(903-909)Online publication date: 18-Jan-2010
Densmore DSimalatsar ADavare APasserone RSangiovanni-Vincentelli ABenini LDe Micheli GAl-Hashimi BMueller W(2009)UMTS MPSoC design evaluation using a system level design frameworkProceedings of the Conference on Design, Automation and Test in Europe10.5555/1874620.1874738(478-483)Online publication date: 20-Apr-2009
Iordache MAntsaklis P(2009)Petri nets and programmingProceedings of the 2009 conference on American Control Conference10.5555/1702715.1703154(4994-4999)Online publication date: 10-Jun-2009
do Nascimento Fda Silva Oliveira MWagner FSaraiva IRibas RPlett C(2009)Using MDE for the formal verification of embedded systems modeled by UML sequence diagramsProceedings of the 22nd Annual Symposium on Integrated Circuits and System Design: Chip on the Dunes10.1145/1601896.1601962(1-6)Online publication date: 31-Aug-2009
Pasricha SDutt N(2008)On-Chip Communication ArchitecturesundefinedOnline publication date: 29-Apr-2008
Martin GBailey BPiziali A(2007)ESL Design and VerificationundefinedOnline publication date: 23-Feb-2007
So HTkachenko ABrodersen RBergamaschi RChoi K(2006)A unified hardware/software runtime environment for FPGA-based reconfigurable computers using BORPHProceedings of the 4th international conference on Hardware/software codesign and system synthesis10.1145/1176254.1176316(259-264)Online publication date: 22-Oct-2006
Zhang YTang T(2005)Architecture and performance comparison of a statistic-based lottery arbiter for shared bus on chipProceedings of the 2005 Asia and South Pacific Design Automation Conference10.1145/1120725.1121051(1313-1316)Online publication date: 18-Jan-2005
Darringer JBergamaschi RBhattacharya SBrand DHerkersdorf AMorrell JNair ISagmeister PShin Y(2002)Early analysis tools for system-on-a-chip designIBM Journal of Research and Development10.1147/rd.466.069146:6(691-707)Online publication date: 1-Nov-2002
Show More Cited By

View Options

View options

Get Access

Login options

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

Abstract

References

Cited By

Index Terms

Recommendations