- 5 Ergebnisse
Kleinster Preis: € 82,00, größter Preis: € 106,99, Mittelwert: € 97,17
1
Test Pattern Generation Using Boolean Proof Engines / Rolf Drechsler (u. a.) / Buch / XII / Englisch / 2009 / Springer Netherland / EAN 9789048123599 - Drechsler, Rolf
Bestellen
bei booklooker.de
€ 98,47
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Drechsler, Rolf:

Test Pattern Generation Using Boolean Proof Engines / Rolf Drechsler (u. a.) / Buch / XII / Englisch / 2009 / Springer Netherland / EAN 9789048123599 - gebunden oder broschiert

2009, ISBN: 9789048123599

[ED: Gebunden], [PU: Springer Netherland], In Test Pattern Generation using Boolean Proof Engines, we give an introduction to ATPG. The basic concept and classical ATPG algorithms are rev… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchbär
zuklappen (X)
2
Test Pattern Generation Using Boolean Proof Engines - Rolf Drechsler/ Stephan Eggersglüß/ Görschwin Fey/ Daniel Tille
Bestellen
bei Hugendubel.de
€ 106,99
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

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

Test Pattern Generation Using Boolean Proof Engines - Taschenbuch

2009, ISBN: 9789048123599

*Test Pattern Generation Using Boolean Proof Engines* - 2009 edition / gebundene Ausgabe für 106.99 € / Aus dem Bereich: Bücher, Wissenschaft, Technik Medien > Bücher nein Buch (gebunden)… Mehr…

Versandkosten:Shipping in 7 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
zuklappen (X)
3
Test Pattern Generation Using Boolean Proof Engines - Rolf Drechsler/ Stephan Eggersglüß/ Görschwin Fey/ Daniel Tille
Bestellen
bei Hugendubel.de
€ 106,99
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Rolf Drechsler/ Stephan Eggersglüß/ Görschwin Fey/ Daniel Tille:
Test Pattern Generation Using Boolean Proof Engines - Taschenbuch

2009

ISBN: 9789048123599

*Test Pattern Generation Using Boolean Proof Engines* - 2009 edition / gebundene Ausgabe für 106.99 € / Aus dem Bereich: Bücher, Wissenschaft, Technik Medien > Bücher nein Buch (gebunden)… Mehr…

Versandkosten:Shipping in 7 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
zuklappen (X)
4
Test Pattern Generation using Boolean Proof Engines - Drechsler, Rolf, Stephan Eggersglüß und Görschwin Fey
Bestellen
bei booklooker.de
€ 82,00
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Drechsler, Rolf, Stephan Eggersglüß und Görschwin Fey:
Test Pattern Generation using Boolean Proof Engines - gebrauchtes Buch

2009, ISBN: 9789048123599

[PU: Springer Netherland], 5170290/1 Altersfreigabe FSK ab 0 Jahre, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2009, Banküberweisung, Kreditkarte, PayPal, Klarna-Sofortübe… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
zuklappen (X)
5
Test Pattern Generation using Boolean Proof Engines 2009 - Drechsler, Rolf, Stephan Eggersglüß und Görschwin Fey
Bestellen
bei buchfreund.de
€ 91,39
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Drechsler, Rolf, Stephan Eggersglüß und Görschwin Fey:
Test Pattern Generation using Boolean Proof Engines 2009 - gebrauchtes Buch

2009, ISBN: 9789048123599

2009 5170290/1 Versandkostenfreie Lieferung logic,formal methods,testing,ATPG,Standard,Boolean Satisfiability,, [PU:Springer Netherland,]

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Buchpark GmbH, 14959 Trebbin
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Test Pattern Generation Using Boolean Proof Engines
Autor:
Titel:
ISBN-Nummer:

9048123593


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.

Detailangaben zum Buch - Test Pattern Generation Using Boolean Proof Engines


EAN (ISBN-13): 9789048123599
ISBN (ISBN-10): 9048123593
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2009
Herausgeber: Springer Nature Singapore
192 Seiten
Gewicht: 0,467 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2009-06-30T17:43:49+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-04-15T17:23:21+02:00 (Berlin)
ISBN/EAN: 9048123593

ISBN - alternative Schreibweisen:
90-481-2359-3, 978-90-481-2359-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: eggersglüß, drechsler, test, rolfs, stephan, tille, eggersglüss, eggersgluess, eggers, will fey, daniel, daniels rolf
Titel des Buches: test, generationen, westdeutsches tagebuch, drechsler, engines, generation pro, our generation, pattern, rolf

Daten vom Verlag:

Autor/in: Rolf Drechsler; Stephan Eggersglüß; Görschwin Fey; Daniel Tille
Titel: Test Pattern Generation using Boolean Proof Engines
Verlag: Springer; Springer Netherland
192 Seiten
Erscheinungsjahr: 2009-04-30
Dordrecht; NL
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
POD
XII, 192 p.

BB; 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; EA; BC

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
< zum Archiv...