Logic Synthesis and Verification Algorithms (Paperback)

Gary D. Hachtel, Fabio Somenzi

Edité par Springer-Verlag New York Inc., 2006
ISBN 10: 0387310045 / ISBN 13: 9780387310046
Ancien(s) ou d'occasion / Paperback / Quantité : 0
Disponible auprès d'autres vendeurs
Afficher tous les  exemplaires de ce livre

Au sujet du livre

Ce livre n'est malheureusement plus disponible. AbeBooks dispose cependant de millions de livres. Ci-dessous, nous vous proposons une liste de livres pouvant correspondre à votre recherche.

Description :

Language: English . Brand New Book. This book blends mathematical foundations and algorithmic developments with circuit design issues. Each new technique is presented in the context of its application to design. Through the study of optimal two-level and multilevel combinational circuit design, the reader is introduced to basic concepts, such as Boolean algebras, local search, and algebraic factorization. Similarly, through the study of optimal sequential circuit design, the reader is introduced to graph algorithms, finite state systems, and language theory. Throughout the book, recurrent themes such as branch and bound, dynamic programming, and symbolic implicit enumeration are used to establish optimal design principles. N° de réf. du libraire

A propos du livre :

Book ratings provided by Goodreads) :
2,5 note moyenne
(2 avis)

Synopsis :

This book blends mathematical foundations and algorithmic developments with circuit design issues. Each new technique is presented in the context of its application to design. Through the study of optimal two-level and multilevel combinational circuit design, the reader is introduced to basic concepts, such as Boolean algebras, local search, and algebraic factorization. Similarly, through the study of optimal sequential circuit design, the reader is introduced to graph algorithms, finite state systems, and language theory. Throughout the book, recurrent themes such as branch and bound, dynamic programming, and symbolic implicit enumeration are used to establish optimal design principles.

From the Back Cover:

In the last decade logic synthesis has gained widepsread acceptance by designers.  Formal verification is now advancing along the same path.  Computer aided design tools for logic synthesis and verification have become the primary instrument for coping with the ever increasing complexity of designs, and ever more stringent time-to-market constraints.  Effective design must be based on thorough understanding of the capabilities, limitations, and algorithmic principles employed by these tools.  In this book we provide a foundation for such understanding.

Logic Synthesis and Verification Algorithms blends mathematical foundations and algorithmic developments with circuit design issues.  Each new technique is presented in the context of its application to design.  Through the study of optimal two-level and multilevel combinational circuit design, the reader is introduced to basic concepts, such as Boolean algebras, local search, and algebraic factorization.

Similarly, through the study of optimal sequential circuit design, the reader is introduced to graph algorithms, finite state systems, and language theory.  Throughout the book, recurrent themes such as branch and bound, dynamic programming, and symbolic implicit enumeration are used to establish optimal design principles.

Circuit designers and CAD tool developers alike will find Logic Synthesis and Verification Algorithms useful as an introductory and reference text.  The rich collection of examples and solved problems make this book ideal for self study.

Because of its careful balance of theory and application, Logic Synthesis and Verification Algorithms will serve well as a textbook for upper division and first year graduate students in electrical and computer engineering.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Détails bibliographiques

Titre : Logic Synthesis and Verification Algorithms ...
Éditeur : Springer-Verlag New York Inc.
Date d'édition : 2006
Reliure : Paperback
Etat du livre : New
Edition : 1996.

Meilleurs résultats de recherche sur AbeBooks

Edition internationale
Edition internationale

1.

HACHTEL GARY D. ET.AL
ISBN 10 : 0387310045 ISBN 13 : 9780387310046
Neuf(s) Couverture souple Quantité : 5
Edition internationale
Vendeur
bookscollection
(Delhi, DELHI, Inde)
Evaluation vendeur
[?]

Description du livre État : Brand New. PAPERBACK,Book Condition New, Brand New, Softcover, International Edition. We Do not Ship APO FPO AND PO BOX. Cover Image & ISBN may be different from US edition but contents as US Edition. Printing in English language. Quick delivery by USPS/UPS/DHL/FEDEX/ARAMEX ,Customer satisfaction guaranteed. We may ship the books from Asian regions for inventory purpose. N° de réf. du libraire ABESTTND5472

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 17,28
Autre devise

Ajouter au panier

Frais de port : EUR 3,59
De Inde vers Etats-Unis
Destinations, frais et délais
Edition internationale
Edition internationale

2.

HACHTEL GARY D. ET.AL
ISBN 10 : 0387310045 ISBN 13 : 9780387310046
Neuf(s) Couverture souple Quantité : 5
Edition internationale
Vendeur
bookscollection
(Delhi, DELHI, Inde)
Evaluation vendeur
[?]

Description du livre État : Brand New. PAPERBACK,Book Condition New, Brand New, Softcover, International Edition. We Do not Ship APO FPO AND PO BOX. Cover Image & ISBN may be different from US edition but contents as US Edition. Printing in English language. Quick delivery by USPS/UPS/DHL/FEDEX/ARAMEX ,Customer satisfaction guaranteed. We may ship the books from Asian regions for inventory purpose. N° de réf. du libraire ABEDUPPP4078

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 17,28
Autre devise

Ajouter au panier

Frais de port : EUR 3,59
De Inde vers Etats-Unis
Destinations, frais et délais
Edition internationale
Edition internationale

3.

Hachtel
ISBN 10 : 0387310045 ISBN 13 : 9780387310046
Neuf(s) Quantité : 1
Edition internationale
Vendeur
Bookshub
(Karol Bagh, Inde)
Evaluation vendeur
[?]

Description du livre État : New. New. International edition. Different ISBN and Cover image but contents are same as US edition. Perfect condition. Customer satisfaction our priority. N° de réf. du libraire ABE-FEB-137098

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 23,86
Autre devise

Ajouter au panier

Frais de port : Gratuit
De Inde vers Etats-Unis
Destinations, frais et délais
Edition internationale
Edition internationale

4.

Hachtel
ISBN 10 : 0387310045 ISBN 13 : 9780387310046
Neuf(s) Quantité : 1
Edition internationale
Vendeur
EBOOKSTORE2010
(New Delhi, ND, Inde)
Evaluation vendeur
[?]

Description du livre État : Brand New. New. SoftCover International edition. Different ISBN and Cover image but contents are same as US edition. Customer Satisfaction guaranteed!!. N° de réf. du libraire SHUB137098

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 23,90
Autre devise

Ajouter au panier

Frais de port : Gratuit
De Inde vers Etats-Unis
Destinations, frais et délais
Edition internationale
Edition internationale

5.

Hachtel
ISBN 10 : 0387310045 ISBN 13 : 9780387310046
Neuf(s) Couverture souple Quantité : 1
Edition internationale
Vendeur
Basi6 International
(Irving, TX, Etats-Unis)
Evaluation vendeur
[?]

Description du livre État : Brand New. New, SoftCover International edition. Different ISBN and Cover image but contents are same as US edition. Excellent Customer Service. N° de réf. du libraire ABEUSA-137098

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 25,82
Autre devise

Ajouter au panier

Frais de port : Gratuit
Vers Etats-Unis
Destinations, frais et délais
Edition internationale
Edition internationale

6.

Hachtel
ISBN 10 : 0387310045 ISBN 13 : 9780387310046
Neuf(s) Paperback Quantité : 5
Edition internationale
Vendeur
PRIORITY BOOKS
(springfield, VA, Etats-Unis)
Evaluation vendeur
[?]

Description du livre Paperback. État : New. Softcover Book, New Condition, Fast Shipping. Ready in Stock. 1st Edition. [Please Read Carefully Before Buying], This Is An International Edition. Printed In Black and White. , Book Cover And ISBN No May Be Different From US Edition. Restricted Sales Disclaimer Wordings Not For Sales In USA And Canada May Be Printed On The Cover Of The Book. Standard Shipping 7-14 Business Days. Expedited Shiping 4-8 Business Days. ***WE DO NOT ENTERTAIN BULK ORDERS.*** The Books May Be Ship From Overseas For Inventory Purpose. N° de réf. du libraire 334961

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 23,15
Autre devise

Ajouter au panier

Frais de port : EUR 3,43
Vers Etats-Unis
Destinations, frais et délais
Edition internationale
Edition internationale

7.

Hachtel
ISBN 10 : 0387310045 ISBN 13 : 9780387310046
Neuf(s) Paperback Quantité : 1
Edition internationale
Vendeur
Nick Book House
(fresno, CA, Etats-Unis)
Evaluation vendeur
[?]

Description du livre Paperback. État : New. New, Softcover International Edition, Printed in Black and White, Only USPS Media mail Shipping ONLY, Different ISBN, Same Content As US edition, Book Cover may be Different, in English Language. N° de réf. du libraire 16640

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 24,07
Autre devise

Ajouter au panier

Frais de port : EUR 3,43
Vers Etats-Unis
Destinations, frais et délais
Edition internationale
Edition internationale

8.

Hachtel
ISBN 10 : 0387310045 ISBN 13 : 9780387310046
Neuf(s) Paperback Edition originale Quantité : 2
Edition internationale
Vendeur
ZerichSpace
(antioch, CA, Etats-Unis)
Evaluation vendeur
[?]

Description du livre Paperback. État : New. New condition. Softcover book, 1st Edition. (Read Description Before Buying), This is an international Edition. Black and White Book. ISBN or covers May Be Different From US Edition. Book may have Restricted Sales Disclaimer Wordings printed on cover. Books May Be Shipped From Overseas as per stock status. N° de réf. du libraire 757872

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 24,59
Autre devise

Ajouter au panier

Frais de port : EUR 3,43
Vers Etats-Unis
Destinations, frais et délais

9.

Hachtel, Gary D.; Somenzi, Fabio
Edité par Springer
ISBN 10 : 0387310045 ISBN 13 : 9780387310046
Ancien(s) ou d'occasion PAPERBACK Quantité : 1
Vendeur
glenthebookseller
(Montgomery, IL, Etats-Unis)
Evaluation vendeur
[?]

Description du livre Springer. PAPERBACK. État : Good. 0387310045 Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. N° de réf. du libraire Z0387310045Z3

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter D'occasion
EUR 25,91
Autre devise

Ajouter au panier

Frais de port : EUR 2,58
Vers Etats-Unis
Destinations, frais et délais

10.

Gary D. Hachtel; Fabio Somenzi
Edité par Springer
ISBN 10 : 0387310045 ISBN 13 : 9780387310046
Ancien(s) ou d'occasion Paperback Quantité : 1
Vendeur
Motor City Books
(Brownstown, MI, Etats-Unis)
Evaluation vendeur
[?]

Description du livre Springer. Paperback. État : Fair. N° de réf. du libraire G0387310045I5N00

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter D'occasion
EUR 28,56
Autre devise

Ajouter au panier

Frais de port : Gratuit
Vers Etats-Unis
Destinations, frais et délais

34 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre