Logic Synthesis and Verification

Hassoun, Soha (EDT)/ Sasao, Tsutomu (EDT)/ Brayton, Robert K. (EDT)

Editore: Springer Verlag, 2001
ISBN 10: 0792376064 / ISBN 13: 9780792376064
Usato / Hardcover / Quantità: 0
Copie del libro da altre librerie
Mostra tutte le  copie di questo libro

Libro

Purtroppo questa copia non è più disponibile. Di seguito ti proponiamo una lista di copie simili.

Descrizione:

Our orders are sent from our warehouse locally or directly from our international distributors to allow us to offer you the best possible price and delivery time. Codice inventario libreria

Su questo libro:

Book ratings provided by Goodreads):
0 valutazione media
(0 valutazioni)

Riassunto: Research and development of logic synthesis and verification have matured considerably over the past two decades. Many commercial products are available, and they have been critical in harnessing advances in fabrication technology to produce today's plethora of electronic components. While this maturity is assuring, the advances in fabrication continue to seemingly present unwieldy challenges.
Logic Synthesis and Verification provides a state-of-the-art view of logic synthesis and verification. It consists of fifteen chapters, each focusing on a distinct aspect. Each chapter presents key developments, outlines future challenges, and lists essential references.
Two unique features of this book are technical strength and comprehensiveness. The book chapters are written by twenty-eight recognized leaders in the field and reviewed by equally qualified experts. The topics collectively span the field.
Logic Synthesis and Verification fills a current gap in the existing CAD literature. Each chapter contains essential information to study a topic at a great depth, and to understand further developments in the field. The book is intended for seniors, graduate students, researchers, and developers of related Computer-Aided Design (CAD) tools.
From the foreword: "The commercial success of logic synthesis and verification is due in large part to the ideas of many of the authors of this book. Their innovative work contributed to design automation tools that permanently changed the course of electronic design." by Aart J. de Geus, Chairman and CEO, Synopsys, Inc.

Contenuti: Foreword. Preface. 1: Two-Level Logic Minimization; O. Coudert, T. Sasao. 2: Multi-Level Logic Optimization; M. Fujita, Y. Matsunaga, M. Ciesielski. 3: Flexibility in Logic; E. Sentovich, D. Brand. 4: Multiple-Valued Logic Synthesis and Optimization; E. Dubrovna. 5: Technology Mapping; L. Stok, V. Tiwari. 6: Technology-based Transformations; R. Murgai. 7: Logical and Physical Design: A Flow Perspective; O. Coudert. 8: Logic Synthesis for Low Power; L. Benini, G. de Micheli. 9: Optimization of Synchronous Circuits; S. Hassoun, T. Villa. 10: Asynchronous Control Circuits; L. Lavagno, S.M. Nowick. 11: Ordered Binary Decision Diagrams; R.E. Bryant, C. Meinel. 12: SAT and ATPG: Algorithms for Boolean Decision Problems; W. Kunz, J. Marques-Silva, S. Malik. 13: Combinatorial and Sequential Equivalence Checking; A. Kuehlmann, C.A.J. van Eijk. 14: Static Timing Analysis; Y. Kukimoto, M. Berkelaar, K. Sakallah. 15: The Future of Logic Synthesis and Verification; R.K. Brayton. Appendices: A: About the Authors. B: Author Contact Information. Index.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Dati bibliografici

Titolo: Logic Synthesis and Verification
Casa editrice: Springer Verlag
Data di pubblicazione: 2001
Legatura: Hardcover
Condizione libro: New

I migliori risultati di ricerca su AbeBooks

1.

Editore: Springer (2001)
ISBN 10: 0792376064 ISBN 13: 9780792376064
Antico o usato Rilegato Quantità: 1
Da
HPB-Dallas
(Dallas, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Springer, 2001. Hardcover. Condizione: Good. Item may show signs of shelf wear. Pages may include limited notes and highlighting. Includes supplemental or companion materials if applicable. Access codes may or may not work. Connecting readers since 1972. Customer service is our top priority. Codice articolo mon0001222225

Informazioni sul venditore | Contattare il venditore

Compra usato
EUR 40,31
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,24
In U.S.A.
Destinazione, tempi e costi

2.

Editore: Springer
ISBN 10: 0792376064 ISBN 13: 9780792376064
Antico o usato Rilegato Quantità: 1
Da
ThriftBooks - Blue Cloud
(Phoenix, AZ, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Springer. Hardcover. Condizione: Very Good. A copy that has been read, but remains in excellent condition. Pages are intact and are not marred by notes or highlighting, but may contain a neat previous owner name. The spine remains undamaged. At ThriftBooks, our motto is: Read More, Spend Less. Codice articolo G0792376064I4N00

Informazioni sul venditore | Contattare il venditore

Compra usato
EUR 43,63
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

3.

Editor-Soha Hassoun; Editor-Tsutomu Sasao
Editore: Springer (2001)
ISBN 10: 0792376064 ISBN 13: 9780792376064
Antico o usato Rilegato Quantità: 1
Da
Ergodebooks
(RICHMOND, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Springer, 2001. Hardcover. Condizione: Used: Good. Codice articolo SONG0792376064

Informazioni sul venditore | Contattare il venditore

Compra usato
EUR 55,85
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 4,05
In U.S.A.
Destinazione, tempi e costi

4.

Editore: Springer (2001)
ISBN 10: 0792376064 ISBN 13: 9780792376064
Antico o usato Rilegato Quantità: 1
Da
GlassFrogBooks
(Minden, NV, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Springer, 2001. Condizione: Good. A+ Customer service! Satisfaction Guaranteed! Book is in Used-Good condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain limited notes and highlighting. Codice articolo 0792376064-2-4

Informazioni sul venditore | Contattare il venditore

Compra usato
EUR 60,01
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

5.

Soha Hassoun and Tsutomu Sasao
Editore: Springer (2001)
ISBN 10: 0792376064 ISBN 13: 9780792376064
Antico o usato Rilegato Quantità: 1
Da
Books Express
(Portsmouth, NH, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Springer, 2001. Hardcover. Condizione: Good. 2002. Ships with Tracking Number! INTERNATIONAL WORLDWIDE Shipping available. May not contain Access Codes or Supplements. May be ex-library. Shipping & Handling by region. Buy with confidence, excellent customer service!. Codice articolo 0792376064q

Informazioni sul venditore | Contattare il venditore

Compra usato
EUR 66,65
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

6.

Soha Hassoun, Tsutomu Sasao
Editore: Kluwer Boston, Inc. (2001)
ISBN 10: 0792376064 ISBN 13: 9780792376064
Antico o usato Prima edizione Quantità: 2
Da
Better World Books Ltd
(Dunfermline, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Kluwer Boston, Inc., 2001. Condizione: Very Good. 1st Edition. Ships from the UK. Former Library book. Great condition for a used book! Minimal wear. Codice articolo GRP91132195

Informazioni sul venditore | Contattare il venditore

Compra usato
EUR 64,80
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,82
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

7.

Editore: Springer
ISBN 10: 0792376064 ISBN 13: 9780792376064
Antico o usato Rilegato Quantità: 1
Da
Cloud 9 Books
(Wellington, FL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Springer. Hardcover. Condizione: Fine. 0792376064 Like New Condition. Codice articolo LN7.1291605

Informazioni sul venditore | Contattare il venditore

Compra usato
EUR 102,49
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 4,05
In U.S.A.
Destinazione, tempi e costi

8.

Editore: Springer
ISBN 10: 0792376064 ISBN 13: 9780792376064
Nuovo Rilegato Quantità: 1
Da
Cloud 9 Books
(Wellington, FL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Springer. Hardcover. Condizione: New. 0792376064 New Condition. Codice articolo NEW7.1291605

Informazioni sul venditore | Contattare il venditore

Compra nuovo
EUR 102,49
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 4,05
In U.S.A.
Destinazione, tempi e costi

9.

Soha Hassoun
Editore: Kluwer Academic Publishers (2001)
ISBN 10: 0792376064 ISBN 13: 9780792376064
Nuovo Quantità: > 20
Print on Demand
Da
Books2Anywhere
(Fairford, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Kluwer Academic Publishers, 2001. HRD. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice articolo IQ-9780792376064

Informazioni sul venditore | Contattare il venditore

Compra nuovo
EUR 200,00
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 10,24
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

10.

Editore: Springer, Netherlands (2001)
ISBN 10: 0792376064 ISBN 13: 9780792376064
Nuovo Rilegato Quantità: 1
Da
The Book Depository
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Springer, Netherlands, 2001. Hardback. Condizione: New. 2002 ed.. Language: English . Brand New Book. Research and development of logic synthesis and verification have matured considerably over the past two decades. Many commercial products are available, and they have been critical in harnessing advances in fabrication technology to produce today s plethora of electronic components. While this maturity is assuring, the advances in fabrication continue to seemingly present unwieldy challenges. Logic Synthesis and Verification provides a state-of-the-art view of logic synthesis and verification. It consists of fifteen chapters, each focusing on a distinct aspect. Each chapter presents key developments, outlines future challenges, and lists essential references. Two unique features of this book are technical strength and comprehensiveness. The book chapters are written by twenty-eight recognized leaders in the field and reviewed by equally qualified experts. The topics collectively span the field. Logic Synthesis and Verification fills a current gap in the existing CAD literature. Each chapter contains essential information to study a topic at a great depth, and to understand further developments in the field. The book is intended for seniors, graduate students, researchers, and developers of related Computer-Aided Design (CAD) tools. From the foreword: The commercial success of logic synthesis and verification is due in large part to the ideas of many of the authors of this book. Their innovative work contributed to design automation tools that permanently changed the course of electronic design. by Aart J. de Geus, Chairman and CEO, Synopsys, Inc. Codice articolo AAS9780792376064

Informazioni sul venditore | Contattare il venditore

Compra nuovo
EUR 212,29
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

Vedi altre 12 copie di questo libro

Vedi tutti i risultati per questo libro