Test Pattern Generation Using Boolean Proof Engines - Daniel Tille
- Format: Relié Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre141,17 €
Produit Neuf
Ou 35,29 € /mois
- Livraison à 0,01 €
- Livré entre le 17 et le 30 juillet
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9789048123599_dbm
Nos autres offres
-
154,69 €
Produit Neuf
Ou 38,67 € /mois
- Livraison : 3,99 €
- Livré entre le 17 et le 23 juillet
Voir le détail de l'annonce
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Test Pattern Generation Using Boolean Proof Engines de Daniel Tille Format Relié - Livre Littérature Générale
0 avis sur Test Pattern Generation Using Boolean Proof Engines de Daniel Tille Format Relié - Livre Littérature Générale
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Microeconomics, Global Edition
Neuf dès 151,23 €
Occasion dès 75,90 €
-
Amazônia
Occasion dès 91,50 €
-
Bovine Anatomy
Neuf dès 109,20 €
Occasion dès 84,16 €
-
The Economics Of The Welfare State
Neuf dès 109,04 €
Occasion dès 83,39 €
-
Klimt, Schiele, Moser, Kokoschka
Occasion dès 72,90 €
-
Summer Light
Occasion dès 109,98 €
-
Verschneit Und Verliebt: Ein Weihnachtswunder In Den Bergen (German Edition)
Occasion dès 117,38 €
-
Deathly Still: Pictures Of Concentration Camps
Occasion dès 101,10 €
-
New Perspectives: Contemporary Art From Ghana
Occasion dès 199,00 €
-
Art Nouveau Stained Glass Window Design
Occasion dès 95,99 €
-
Vermehrte Newe Beschreibung Der Muscowitischen Vnd Persischen Reyse (Deutsche Neudrucke / Reihe Barock)
Occasion dès 105,14 €
-
Images Of Women: Deutsche Ausgabe (Livre En Allemand)
Occasion dès 76,05 €
-
British Beat: Then, Now And Rare, 1960-1969
Occasion dès 121,99 €
-
World Mirrors, 1650-1900
Occasion dès 87,44 €
-
()
Occasion dès 73,33 €
-
Kurzkommentar Zum Abgb: Allgemeines Burgerliches Gesetzbuch, Ehegesetz, Konsumentenschutzgesetz, Ipr-Gesetz Und Europaisches Vertragsstatutubereinkommen
Neuf dès 561,99 €
Occasion dès 199,00 €
-
Henry Moore My Ideas, Inspiration And Life As An Artist
Occasion dès 159,20 €
-
Ancient Faces: Mummy Portraits From Roman Egypt (A Catalogue Of Roman Portraits In The British Museum)
Occasion dès 88,99 €
-
Guyton And Hall Textbook Of Medical Physiology, 12e
Occasion dès 71,62 €
-
Self-Portrait With Friends: The Selected Diaries Of Cecil Beaton, 1922-1974
Occasion dès 108,88 €
Produits similaires
Présentation Test Pattern Generation Using Boolean Proof Engines de Daniel Tille Format Relié
- Livre Littérature Générale
Résumé :
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. ...
Sommaire:
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....
Détails de conformité du produit
Personne responsable dans l'UE