Articoli correlati a Reasoning in Boolean Networks: Logic Synthesis and...

Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques: 9 - Rilegato

 
9780792399216: Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques: 9

Sinossi

Reasoning in Boolean Networks provides a detailed treatment of recent research advances in algorithmic techniques for logic synthesis, test generation and formal verification of digital circuits. The book presents the central idea of approaching design automation problems for logic-level circuits by specific Boolean reasoning techniques.
While Boolean reasoning techniques have been a central element of two-level circuit theory for many decades Reasoning in Boolean Networks describes a basic reasoning methodology for multi-level circuits. This leads to a unified view on two-level and multi-level logic synthesis. The presented reasoning techniques are applied to various CAD-problems to demonstrate their usefulness for today's industrially relevant problems.
Reasoning in Boolean Networks provides lucid descriptions of basic algorithmic concepts in automatic test pattern generation, logic synthesis and verification and elaborates their intimate relationship to provide further intuition and insight into the subject. Numerous examples are provide for ease in understanding the material.
Reasoning in Boolean Networks is intended for researchers in logic synthesis, VLSI testing and formal verification as well as for integrated circuit designers who want to enhance their understanding of basic CAD methodologies.

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

Contenuti

Foreword. Preface. 1. Preliminaries. 2. Combinational ATPG. 3. Recursive Learning. 3. And/Or Reasoning Graphs. 5. Logic Optimization. 6. Logic Verification. 7. Conclusions and Future Work. References. Appendix. Index.

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

Compra usato

Condizioni: molto buono
Former library book; may include...
Visualizza questo articolo

EUR 18,99 per la spedizione da U.S.A. a Italia

Destinazione, tempi e costi

GRATIS per la spedizione da U.S.A. a Italia

Destinazione, tempi e costi

Altre edizioni note dello stesso titolo

9781441951762: Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques: 9

Edizione in evidenza

ISBN 10:  1441951768 ISBN 13:  9781441951762
Casa editrice: Springer, 2010
Brossura

Risultati della ricerca per Reasoning in Boolean Networks: Logic Synthesis and...

Foto dell'editore

Stoffel, Dominik, Kunz, Wolfgang
Editore: Springer, 1997
ISBN 10: 0792399218 ISBN 13: 9780792399216
Antico o usato Rilegato

Da: Better World Books, Mishawaka, IN, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Codice articolo 52548122-6

Contatta il venditore

Compra usato

EUR 53,38
Convertire valuta
Spese di spedizione: EUR 18,99
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Foto dell'editore

Kunz, Wolfgang; Stoffel, Dominik
Editore: Springer, 1997
ISBN 10: 0792399218 ISBN 13: 9780792399216
Antico o usato Rilegato

Da: CONTINENTAL MEDIA & BEYOND, Ocala, FL, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Hardcover. Condizione: Used: Good. xlibrary 1997 hc no dj as issued withdrawn stamp in book/ on edge of pages clean text Kluwer Academic Publ. 230 pages::: K-19. Codice articolo 0113MVB62P1

Contatta il venditore

Compra usato

EUR 44,09
Convertire valuta
Spese di spedizione: EUR 32,79
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Wolfgang Kunz, Dominik Stoffel
Editore: SPRINGER NATURE, 1997
ISBN 10: 0792399218 ISBN 13: 9780792399216
Antico o usato Rilegato

Da: Buchpark, Trebbin, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: Gut. Zustand: Gut | Seiten: 230 | Sprache: Englisch | Produktart: Bücher. Codice articolo 3023409/3

Contatta il venditore

Compra usato

EUR 96,53
Convertire valuta
Spese di spedizione: GRATIS
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Foto dell'editore

Wolfgang Kunz, Dominik Stoffel ,
Editore: Springer, 1997
ISBN 10: 0792399218 ISBN 13: 9780792399216
Nuovo Rilegato

Da: Basi6 International, Irving, TX, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEJUNE24-343570

Contatta il venditore

Compra nuovo

EUR 123,76
Convertire valuta
Spese di spedizione: GRATIS
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Wolfgang Kunz, Dominik Stoffel ,
Editore: Springer, 1997
ISBN 10: 0792399218 ISBN 13: 9780792399216
Nuovo Rilegato

Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Codice articolo ABNR-157564

Contatta il venditore

Compra nuovo

EUR 123,76
Convertire valuta
Spese di spedizione: GRATIS
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Kunz, Wolfgang; Stoffel, Dominik
Editore: Springer, 1997
ISBN 10: 0792399218 ISBN 13: 9780792399216
Nuovo Rilegato

Da: Ria Christie Collections, Uxbridge, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. In. Codice articolo ria9780792399216_new

Contatta il venditore

Compra nuovo

EUR 164,48
Convertire valuta
Spese di spedizione: EUR 10,31
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Dominik Stoffel Wolfgang Kunz
Editore: Springer, 1997
ISBN 10: 0792399218 ISBN 13: 9780792399216
Nuovo Rilegato

Da: Books Puddle, New York, NY, U.S.A.

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. pp. 248. Codice articolo 262167338

Contatta il venditore

Compra nuovo

EUR 172,14
Convertire valuta
Spese di spedizione: EUR 7,77
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Wolfgang Kunz|Dominik Stoffel
Editore: Springer US, 1997
ISBN 10: 0792399218 ISBN 13: 9780792399216
Nuovo Rilegato

Da: moluna, Greven, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Gebunden. Condizione: New. Reasoning in Boolean Networks provides a detailed treatment of recent research advances in algorithmic techniques for logic synthesis, test generation and formal verification of digital circuits. The book presents the central idea of approaching. Codice articolo 458444063

Contatta il venditore

Compra nuovo

EUR 178,14
Convertire valuta
Spese di spedizione: EUR 9,70
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Stoffel Dominik Kunz Wolfgang
Editore: Springer, 1997
ISBN 10: 0792399218 ISBN 13: 9780792399216
Nuovo Rilegato

Da: Majestic Books, Hounslow, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. pp. 248 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Codice articolo 5680629

Contatta il venditore

Compra nuovo

EUR 181,20
Convertire valuta
Spese di spedizione: EUR 10,15
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Stoffel Dominik Kunz Wolfgang
Editore: Springer, 1997
ISBN 10: 0792399218 ISBN 13: 9780792399216
Nuovo Rilegato

Da: Biblios, Frankfurt am main, HESSE, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. pp. 248. Codice articolo 182167328

Contatta il venditore

Compra nuovo

EUR 184,31
Convertire valuta
Spese di spedizione: EUR 7,95
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Vedi altre 3 copie di questo libro

Vedi tutti i risultati per questo libro