Specification and Design of Embedded Systems [Facsimile] [Paperback]

Daniel D. Gajski (Author), Frank Vahid (Author), Sanjiv Narayan (Author), Jie Gong (Author)

Book Description

ISBN-10: 0131507311 | ISBN-13: 978-0131507319 | Publication Date: July 9, 1994 | Edition: 1

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. 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. For RISC design methodologists and VHDL methodologists; and CAD software developers.

Editorial Reviews

From the Publisher

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.

From the Back Cover

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.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.For RISC design methodologists and VHDL methodologists; and CAD software developers.

Product Details

• Paperback: 468 pages
• Publisher: Prentice Hall; 1 edition (July 9, 1994)
• Language: English
• ISBN-10: 0131507311
• ISBN-13: 978-0131507319
• Product Dimensions: 9.3 x 6.4 x 1.1 inches
• Shipping Weight: 1.4 pounds (View shipping rates and policies)
• Average Customer Review: 5.0 out of 5 stars  See all reviews (1 customer review)
• Amazon Best Sellers Rank: #1,537,973 in Books (See Top 100 in Books)

Customer Reviews

Most Helpful Customer Reviews

3 of 12 people found the following review helpful:

5.0 out of 5 stars All About Design of Embedded System, April 5, 2000

By 

Sun Woo Kim (Irvine, USA) - See all my reviews

This review is from: Specification and Design of Embedded Systems (Paperback)

In this year 2000, SONY Playstation II performs better than all of the other PCs for handling polygon calculation and graphic representation. This is the first time when an embedded system gets on the top of the mountain. From last several decades, embedded systems are used all over the places, which are ubiquitous and even invisible. Such as refrigerator, artificial organic device, and even aircraft are embedded systems. These are more demanding and dominant nowdays and the future needs more. In this background, this book gives very good overview about modeling and design of embedded system for upper undergraduate or lower graduate students. Formalism of modeling for those devices are introduced and system-design methodology are reviewed. You can learn several good algorithms about partitioning which is essential for electric design automation for embedded system design to reduce time to market. Interesting world can be true with those embedded system. You can start to step forward there with this book.