Join Books.org — it's free

CAD/CAM Related Product Design, CAD/CAM - General & Miscellaneous, Electronics - Digital, CAD/CAM
The Synthesis Approach To Digital System Design by Petra Michel β€” book cover

The Synthesis Approach To Digital System Design

by Petra Michel, Petra Michel (Editor), Ulrich Lauther
Available on Bookshop Write a review

Books.org participates in affiliate programs including Bookshop.org and the Amazon Services LLC Associates Program. We may earn a commission from qualifying purchases made through links on this page, at no additional cost to you.

Log in to track your reading progress.

Overview

The Synthesis Approach to Digital System Design is designed as a reference and a textbook that provides a broad comprehensive presentation of state-of-the-art techniques and algorithms used in high-level design description, synthesis and verification. By using a complete, high-level design system as a vehicle for the text, the authors have captured a number of the essential aspects of high-level design methods as well as the basic algorithms and data structures that support them. The text is an excellent starting point for the developers of new high-level design aids and for potential users of such systems as well.

Synopsis

The Synthesis Approach to Digital System Design is designed as a reference and a textbook that provides a broad comprehensive presentation of state-of-the-art techniques and algorithms used in high-level design description, synthesis and verification. By using a complete, high-level design system as a vehicle for the text, the authors have captured a number of the essential aspects of high-level design methods as well as the basic algorithms and data structures that support them. The text is an excellent starting point for the developers of new high-level design aids and for potential users of such systems as well.

Booknews

Topics presented include hardware description languages and their relevance to synthesis; technology mapping; logic level, register transfer level, high-level, and system level synthesis; formal methods for synthesis; and synthesis related aspects of simulation and in testing. Examples are used throughout the text, problems are provided at the end of each chapter, and a 26-page bibliography is included. The editors are with Siemens AG. Annotation c. Book News, Inc., Portland, OR (booknews.com)

Reviews

There are no reviews yet. Log in to write one.

Editorials

Booknews

Topics presented include hardware description languages and their relevance to synthesis; technology mapping; logic level, register transfer level, high-level, and system level synthesis; formal methods for synthesis; and synthesis related aspects of simulation and in testing. Examples are used throughout the text, problems are provided at the end of each chapter, and a 26-page bibliography is included. The editors are with Siemens AG. Annotation c. Book News, Inc., Portland, OR (booknews.com)

Book Details

Published
April 1, 2000
Publisher
Springer-Verlag New York, LLC
Pages
430
Format
Hardcover
ISBN
9780792391999

Similar books