- 5 resultaten
laagste prijs: € 80,67, hoogste prijs: € 166,14, gemiddelde prijs: € 113,06
1
Test Pattern Generation using Boolean Proof Engines - Drechsler, Rolf, Eggersglüß, Stephan, Fey, Görschwin, Tille, Daniel
bestellen
bij amazon.de
€ 83,99
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Drechsler, Rolf, Eggersglüß, Stephan, Fey, Görschwin, Tille, Daniel:

Test Pattern Generation using Boolean Proof Engines - pocketboek

2010, ISBN: 9789048184910

Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2009, 204 Seiten, Publiziert: 2010-10-19T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 9789048184910, 0.65 kg, Sch… Meer...

Verzendingskosten:Auf Lager, Lieferung von Amazon. (EUR 0.00) Amazon.de
dichtslaan (X)
2
Test Pattern Generation using Boolean Proof Engines - Drechsler, Rolf, Eggersglüß, Stephan, Fey, Görschwin, Tille, Daniel
bestellen
bij amazon.co.uk
£ 70,84
(ongeveer € 80,67)
verzending: € 5,471
bestellen
Details aangeboden
Gesponsorde link

Drechsler, Rolf, Eggersglüß, Stephan, Fey, Görschwin, Tille, Daniel:

Test Pattern Generation using Boolean Proof Engines - pocketboek

2010, ISBN: 9789048184910

Springer, Paperback, Auflage: Softcover reprint of hardcover 1st ed. 2009, 204 Seiten, Publiziert: 2010-10-19T00:00:01Z, Produktgruppe: Book, 0.45 kg, Circuits, Electronics Engineering, E… Meer...

Gebraucht, wie neu. Verzendingskosten:Usually dispatched within 13 to 14 days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.47) BOOKS etc
dichtslaan (X)
3
Test Pattern Generation using Boolean Proof Engines - Rolf Drechsler/ Stephan Eggersglüß/ Görschwin Fey/ Daniel Tille
bestellen
bij Hugendubel.de
€ 106,99
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Rolf Drechsler/ Stephan Eggersglüß/ Görschwin Fey/ Daniel Tille:
Test Pattern Generation using Boolean Proof Engines - pocketboek

2009

ISBN: 9789048184910

*Test Pattern Generation using Boolean Proof Engines* - Softcover reprint of hardcover 1st ed. 2009 / Taschenbuch für 106.99 € / Aus dem Bereich: Bücher, Wissenschaft, Technik Medien > Bü… Meer...

Verzendingskosten:Shipping in 6 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
dichtslaan (X)
4
Test Pattern Generation using Boolean Proof Engines - Drechsler, Rolf
bestellen
bij amazon.de
€ 111,70
verzending: € 3,001
bestellen
Details aangeboden
Gesponsorde link
Drechsler, Rolf:
Test Pattern Generation using Boolean Proof Engines - pocketboek

2010, ISBN: 9789048184910

Mitwirkende: Eggersglüß, Stephan, Mitwirkende: Fey, Görschwin, Mitwirkende: Tille, Daniel, Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2009, 204 Seiten, Publizi… Meer...

Verzendingskosten:Gewöhnlich versandfertig in 6 bis 7 Tagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) preigu
dichtslaan (X)
5
Test Pattern Generation using Boolean Proof Engines - Rolf Drechsler
bestellen
bij BookDepository.com
€ 116,30
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Rolf Drechsler:
Test Pattern Generation using Boolean Proof Engines - pocketboek

ISBN: 9789048184910

Paperback, [PU: Springer], In Test Pattern Generation using Boolean Proof Engines, we give an introduction to ATPG. The chapters of the book cover efficient instance generation, encoding … Meer...

Verzendingskosten:Versandkostenfrei. (EUR 0.00)
dichtslaan (X)
1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
Test Pattern Generation using Boolean Proof Engines
auteur:
Titel:
ISBN:

9789048184910


In Test Pattern Generation using Boolean Proof Engines, we give an introduction to ATPG. The basic concept and classical ATPG algorithms are reviewed. Then, the formulation as a SAT problem is considered. As the underlying engine, modern SAT solvers and their use on circuit related problems are comprehensively discussed. Advanced techniques for SAT-based ATPG are introduced and evaluated in the context of an industrial environment. The chapters of the book cover efficient instance generation, encoding of multiple-valued logic, usage of various fault models, and detailed experiments on multi-million gate designs. The book describes the state of the art in the field, highlights research aspects, and shows directions for future work.

Gedetalleerde informatie over het boek. - Test Pattern Generation using Boolean Proof Engines


EAN (ISBN-13): 9789048184910
ISBN (ISBN-10): 9048184916
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer
204 Bladzijden
Gewicht: 0,316 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2011-07-16T20:16:27+02:00 (Amsterdam)
Boek voor het laatst gevonden op 2025-01-24T16:32:04+01:00 (Amsterdam)
ISBN/EAN: 9789048184910

ISBN - alternatieve schrijfwijzen:
90-481-8491-6, 978-90-481-8491-0
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: eggersglüß, fey, eggersglüss, rolf stephan, eggersgluess, drechsler, eggers, tille, daniel
Titel van het boek: test, drechsler, generation

Gegevens van de uitgever

Auteur: Rolf Drechsler; Stephan Eggersglüß; Görschwin Fey; Daniel Tille
Titel: Test Pattern Generation using Boolean Proof Engines
Uitgeverij: Springer; Springer Netherland
192 Bladzijden
Verschijningsjaar: 2010-10-19
Dordrecht; NL
Gedrukt / Gemaakt in
Taal: Engels
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
POD
XII, 192 p.

BC; Hardcover, Softcover / Technik/Elektronik, Elektrotechnik, Nachrichtentechnik; Schaltkreise und Komponenten (Bauteile); Verstehen; ATPG; Boolean Satisfiability; Standard; formal methods; logic; testing; Electronic Circuits and Systems; Electronics and Microelectronics, Instrumentation; Elektronik; BB

Preliminaries.- Boolean Satisfiability.- SAT-Based ATPG.- Learning Techniques.- Multiple-Valued Logic.- Improved Circuit-to-CNF Conversion.- Branching Strategies.- Integration into Industrial Flow.- Delay Faults.- Summary and Outlook.
The first book giving a detailed overview on SAT-based ATPG All techniques are validated on industrial designs A comprehensive introduction to Boolean Satisfiability
< naar Archief...