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.
-
Winogrand Figments From The Real World
Occasion dès 170,99 €
-
The New Munsell Student Color Set
Neuf dès 125,62 €
-
La Sante Interdite
1 avis
Occasion dès 71,00 €
-
St - Tropez Soleil
1 avis
Neuf dès 105,00 €
Occasion dès 72,53 €
-
Photographs
Occasion dès 80,09 €
-
The Ghost In The Shell Book
Neuf dès 71,80 €
-
Microeconomics, Global Edition
Neuf dès 151,23 €
Occasion dès 75,90 €
-
Isles Of Gold: Antique Maps Of Japan
Occasion dès 174,99 €
-
Soft Power And Great-Power Competition
Neuf dès 72,01 €
-
Girls, Some Boys, And Other Cookies
Occasion dès 127,99 €
-
Idiomes Et Proverbes - N° 6 - Idiomes Et Proverbes - Anglais-Français, Français-Anglais
Occasion dès 89,90 €
-
Comic Book Culture: An Illustrated History
Occasion dès 78,99 €
-
Car Racing 1965
1 avis
Neuf dès 109,00 €
-
Atlas On The Prophet's Biography
Occasion dès 110,00 €
-
Images Of Scotland
Neuf dès 90,78 €
-
The Lord Of The Rings
Neuf dès 126,00 €
-
L'ecole De Paris, 1945-1965: Dictionnaire Des Peintres (Dictionnaires)
2 avis
Occasion dès 147,92 €
-
Origami Design Secrets
Neuf dès 138,63 €
-
Mykonos Muse
Neuf dès 105,00 €
Occasion dès 94,54 €
-
Cindy Sherman
Occasion dès 89,00 €
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