Design Specification and Verification

  • J. Staunstrup


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.


Message Passing Coordination Mechanism Abstract Design Formal Verification Hardware Description Language 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media Dordrecht 1997

Authors and Affiliations

  • J. Staunstrup
    • 1
  1. 1.Computer Systems Section, Department of Information TechnologyTechnical University of DenmarkLyngbyDenmark

Personalised recommendations