Abstract
The ever increasing complexity of computer design, both hardware and software, is moving information technology (IT) companies toward a more disciplined approach for system and component imple- mentation. Design criteria, like time-to-market, zero defects, correct-by- design and high volume manufacturability, are driving engineers to lever- age new approaches for hardware and software design. Reusable software components using industry standard component interfaces is one exam- ple of how software engineers can quickly implement high-quality code in a short time frame. Formal hardware and software verification tools will also be required to delivery the quality of designs and short design schedules needed to be competitive in the marketplace. But much work is required to develop the tools and design processes that will enable the average engineer to produce complex, correct, reliable and competitive implementations on very short schedules.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dean, M.E. (2000). Trends in Computing. In: Hunt, W.A., Johnson, S.D. (eds) Formal Methods in Computer-Aided Design. FMCAD 2000. Lecture Notes in Computer Science, vol 1954. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-40922-X_2
Download citation
DOI: https://doi.org/10.1007/3-540-40922-X_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41219-9
Online ISBN: 978-3-540-40922-9
eBook Packages: Springer Book Archive