154,92 €
Produit Neuf
Ou 38,73 € /mois
- Livraison : 3,99 €
- Livré entre le 17 et le 24 septembre
- 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.
-
Pierre Bayle
Neuf dès 222,62 €
-
The Fourth World Omnibus Vol. 2
Neuf dès 134,88 €
-
Quantum Electrodynamics Of Strong Fields
Neuf dès 211,28 €
-
Geometric Quantization And Quantum Mechanics
Neuf dès 123,61 €
-
Art Of Ghost In The Shell
1 avis
Occasion dès 99,99 €
-
Flashpoint: The 10th Anniversary Omnibus
Neuf dès 158,08 €
-
I: Functional Analysis
Occasion dès 82,70 €
-
Visconti Modrone Tarot
Neuf dès 81,51 €
-
Angry Women (Re/Search ; 13)
Occasion dès 113,99 €
-
The Big Book Of B Movies
Occasion dès 96,20 €
-
Advanced Quantum Mechanics
Neuf dès 145,54 €
-
Soviet Military Deception In The Second World War
Neuf dès 195,80 €
-
The Rainbow
Neuf dès 105,43 €
-
Joseph Beuys Multiples: Catalogue Raisonné Of Multiples And Prints 1965-1985
Occasion dès 100,00 €
-
La Corse Face À Gênes : Entre Féodalité Et Modernité
Occasion dès 80,00 €
-
Norstedts Stora Svensk-Engelska Ordbok : Norstedts Comprehensive Swedish-English Dictionary
Occasion dès 205,00 €
-
Rules, Patterns And Words
Neuf dès 80,00 €
-
Ouragan: 30 Siècles De Vies Communes (French Edition)
3 avis
Occasion dès 79,89 €
-
Filmer
Neuf dès 119,48 €
-
Introduction To Hilbert Spaces With Applications
Neuf dès 225,99 €
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