Abstract
This paper summarizes some of the challenges presented by very large integrated circuits. Today’s embedded applications require not just complex algorithms but multi-tasking systems that perform several different types of operations on the data. Those applications are run on systems-on-chips that embody complex, heterogeneous architectures. Furthermore, systems-on-chips are connected into even larger systems. The large amounts of state in systems- on-chips, along with the interactions between traditional functionality and performance, mean that we must expand the scope of system design and verification activities. We still need to solve all the traditional design problems, but we must also develop new methodologies that allow us to design and verify the long-term behavior of the system.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Jerraya, A., Wolf, W. (eds.): Multiprocessor Systems-on-Chips. Elsevier, Amsterdam (2004)
Wolf, W., Ozer, B., Lv, T.: Smart cameras as embedded systems. IEEE Computer 35(9), 48–53 (2002)
Wolf, W.: The future of multiprocessor systems-on-chips. In: Proceedings, 41st Annual Design Automation Conference, pp. 681–685. ACM Press, New York (2004)
Xu, J., Wolf, W., Lv, T., Henkel, J., Chakradhar, S.: A case study in networks-onchip design for embedded video. In: Proceedings, DATE 2004, IEEE Computer Society Press, Los Alamitos (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wolf, W. (2004). Challenges in System-Level Design. In: Hu, A.J., Martin, A.K. (eds) Formal Methods in Computer-Aided Design. FMCAD 2004. Lecture Notes in Computer Science, vol 3312. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30494-4_1
Download citation
DOI: https://doi.org/10.1007/978-3-540-30494-4_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23738-9
Online ISBN: 978-3-540-30494-4
eBook Packages: Springer Book Archive