Home > Store > Hardware

Specification and Design of Embedded Systems

Register your product to gain access to bonus material or receive a coupon.

Specification and Design of Embedded Systems

Book

  • Your Price: $72.25
  • List Price: $85.00
  • Usually ships in 24 hours.

About

Features

  • demonstrates clearly why a 10x productivity gain can be expected by automating system design tasks.
  • introduces the new specify-explore-refine paradigm, presently being used in industry in an ad-hoc manner, but never formally described.
  • presents new methods and techniques — e.g., for translation, partitioning, exploration, refinement.
  • outlines conceptual models designed to help readers in selecting the proper model to describe their systems; and specification languages to help them select the proper language for specification of their products.
  • features a complete specification of a model product (telephone answering machine) and demonstrates how to write the specification from an English description.
  • contains an extensive bibliography that covers the most recent developments in the field.

Description

  • Copyright 1994
  • Dimensions: 6 x 9
  • Pages: 468
  • Edition: 1st
  • Book
  • ISBN-10: 0-13-150731-1
  • ISBN-13: 978-0-13-150731-9

This is the first book on embedded systems to offer a unified approach to hardware and software specification and design issues — and the first to outline a new specify-explore-refine paradigm that is presently being used in industry in an ad-hoc manner, but until now has not been formally described. The book addresses the system design methodology from conceptualization to manufacturing using this new paradigm, and shows how this methodology can result in 10x improvement in productivity. KEY TOPICS: Addresses two of the most significant topics in the design of digital systems — executable system specification and a methodology for system partitioning and refinement into system-level components. Covers models and architectures; specification languages; a specification example; translation to VHDL; system partitioning; design quality estimation; specification refinement into synthesizable models; and system-design methodology and environment. Contains a complete specification of a model product (telephone answering machine), and demonstrates how to write the specification from an English description. MARKET: For RISC design methodologists and VHDL methodologists; and CAD software developers.

Sample Content

Table of Contents



1. Introduction.


2. Models and Architectures.


3. Specification Languages.


4. A Specification Example.


5. Translation to VHDL.


6. System Partitioning.


7. Design Quality Estimation.


8. Specification Refinement into Synthesizable Models.


9. System-Design Methodology and Environment.


Appendix: Answering Machine in SpecCharts.


Bibliography.


Index.

Updates

Submit Errata

More Information

Unlimited one-month access with your purchase
Free Safari Membership