Design Specification and Verification
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.
KeywordsMessage Passing Coordination Mechanism Abstract Design Formal Verification Hardware Description Language
Unable to display preview. Download preview PDF.