Abstract
This chapter describes high-level design techniques for developing hardware or software and combinations of the two. The chapter gives both an overview of the key concepts found in a range existing languages and tools and a specific proposal for modeling the abstract behavior of a design. The aim of such high-level design techniques is to reduce the design time or effort by shifting as many decisions and analysises as possible from low-level to high-level models.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Staunstrup, J. (1997). Design Specification and Verification. In: Staunstrup, J., Wolf, W. (eds) Hardware/Software Co-Design: Principles and Practice. Springer, Boston, MA. https://doi.org/10.1007/978-1-4757-2649-7_6
Download citation
DOI: https://doi.org/10.1007/978-1-4757-2649-7_6
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4419-5018-5
Online ISBN: 978-1-4757-2649-7
eBook Packages: Springer Book Archive